 Joshua Potter
|
6eab07e732
|
Keep strict.
|
2021-12-25 18:31:54 -05:00 |
|
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
|
b0c8e3af2a
|
Remove NF in multiple passes implementation.
|
2021-12-22 08:17:17 -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 |