Commit Graph

Select branches

Hide Pull Requests

jrpotter/final

main

Mono Color

• 7a827ff99a
  Update README.md main Joshua Potter 2022-01-13 04:59:42 -0500
• caac19270e Automatic formatting. Joshua Potter 2022-01-12 06:51:56 -0500
• e67d2d8903
  Include snippet of post Joshua Potter 2022-01-11 16:06:48 -0500
• 9e9aa31670
  Create README.md Joshua Potter 2021-12-26 18:08:08 -0500
• 77dbe32785 Strict dynamic. Joshua Potter 2021-12-26 16:10:35 -0500
• 8cf7bcd222 Proof of concept around copy symantics. Joshua Potter 2021-12-26 10:14:04 -0500
• 6eab07e732 Keep strict. Joshua Potter 2021-12-25 18:31:54 -0500
• 6f1e8de814 Minor clean up of final implementation. Joshua Potter 2021-12-24 08:16:06 -0500
• 25ec417287 Move around and setup last exercise. jrpotter/final Joshua Potter 2021-12-24 08:16:06 -0500
• cef32ad12b Add implementations and tests around closed tagless final. Joshua Potter 2021-12-23 08:21:05 -0500
• c7abf209eb Rename project to `tagless-final`. Joshua Potter 2021-12-22 09:28:47 -0500
• b0c8e3af2a Remove NF in multiple passes implementation. Joshua Potter 2021-12-22 08:17:17 -0500
• ed49233084 Fix package names. Joshua Potter 2021-12-22 08:02:59 -0500
• 41926c8abc Add with GADT support. Joshua Potter 2021-12-21 22:28:03 -0500
• 7303a43f5b Add initial encoding tests. Joshua Potter 2021-12-20 09:01:27 -0500
• a63f2688db Cleanup parser-initial code. Joshua Potter 2021-12-20 08:53:18 -0500
• c69f000ebe Initial commit. Joshua Potter 2021-12-20 08:16:50 -0500