3 commits

Author	SHA1	Message	Date
Martin Fredin	210e55bb15	Adjust old type checker to new syntax, and refactor lambda lifter to use typed AST	2023-02-15 23:55:16 +01:00
Martin Fredin	e212c79a44	Revert back to one lambda par, and fix issues with lambda lifter	2023-02-11 09:59:26 +01:00
Martin Fredin	ece621b0aa	Fix auxiliary path	2023-02-10 16:45:33 +01:00

Renamed from Auxiliary.hs (Browse further)