5 Commits (jrpotter/final)

Author	SHA1	Message	Date
Joshua Potter	25ec417287	Move around and setup last exercise.	2021-12-24 08:16:06 -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