Commit Graph

  • 07657e21de
    Update README.md main Daneel S. Yaitskov 2023-08-23 15:18:42 -0400
  • f1a4681709 Add information about Data.Data to the README v1.0.0 1.0.0 Anupam Jain 2023-07-06 21:46:42 +0530
  • f3dd0c0fb1 Reduce dependence on the internal dictionary passing mechanism Anupam Jain 2023-07-06 20:10:22 +0530
  • 3c428f76d6 Use TypeRep directly instead of TypeableDict Anupam Jain 2023-07-06 18:59:31 +0530
  • 11e596fd26 Remove constraints that use TagT. Add records back. Anupam Jain 2023-07-06 18:52:33 +0530
  • ff06b1f240 Move the definition of Person to a different module to show that the typerep comparison is stable Anupam Jain 2023-07-05 23:45:01 +0530
  • 5c5a16fad6 Remove unused packages Anupam Jain 2023-07-05 15:15:11 +0530
  • 7a785fccb5 Get code compiling again Anupam Jain 2023-07-04 18:17:36 +0530
  • 696d538d05 Format purescript. Convert CommonJS to ESmodule. Anupam Jain 2023-07-04 17:54:05 +0530
  • eb0b5b7a61 Upgrade package set Anupam Jain 2023-07-04 17:53:58 +0530
  • 836a3e10da Add tests Anupam Jain 2021-04-22 17:38:28 +0530
  • 583a5340ef Add eqSomeTypeRep Anupam Jain 2021-04-22 17:38:16 +0530
  • caa61a0882 Update README for polykinds Anupam Jain 2021-04-22 16:15:38 +0530
  • 1eabe79427 Use polykinds in Purescript 0.14 Anupam Jain 2021-04-22 16:10:00 +0530
  • d6a4c80b81 Update for Purescript 0.14 Anupam Jain 2021-04-22 13:11:34 +0530
  • 6f0215a5d1
    Fix documentation Anupam | अनुपम 2021-04-09 17:37:34 +0000
  • f76ab71f8c Add more instances Anupam Jain 2021-01-21 16:19:06 +0530
  • 5d6c4ca884
    Add link to slides for the talk Anupam Jain 2021-01-18 11:30:44 +0000
  • 3ca165ffd6 Add Data.Data module Anupam Jain 2021-01-13 14:22:07 +0530
  • e5391fca2b Add cast, gcast1, gcast2 Anupam Jain 2021-01-13 14:21:57 +0530
  • 21026eeb45 Bugfix Anupam Jain 2021-01-12 09:36:50 +0530
  • 7de57ccbc6 Add Typeable instances for records Anupam Jain 2021-01-12 01:34:12 +0530
  • b390f684c7 A rewrite that's safer. Also add Dynamics. Anupam Jain 2021-01-11 03:16:31 +0530
  • d68d3a6446
    Create README.md Anupam Jain 2021-01-07 07:26:30 +0000
  • 88b07988eb Minor fix Anupam Jain 2021-01-06 21:42:20 +0530
  • 6b6258f632 Initial working implementation Anupam Jain 2021-01-06 11:46:16 +0530
  • 4f9fa2e3b4 Init Anupam Jain 2021-01-06 10:34:30 +0530