1
Fork 0
Commit Graph

4 Commits (main)

Author SHA1 Message Date
Joshua Potter 6f1e8de814 Minor clean up of final implementation.
Convert initial encoding with better `Result`.
2021-12-25 15:00:12 -05:00
Joshua Potter cef32ad12b Add implementations and tests around closed tagless final.
Refactor to share some logic with initial-encoding.
2021-12-23 18:21:00 -05:00
Joshua Potter ed49233084 Fix package names. 2021-12-22 08:02:59 -05:00
Joshua Potter 41926c8abc Add with GADT support. 2021-12-21 22:28:03 -05:00