janmasrovira aa00d34c8c Make lambda lifting correct when free variables occur in the types of binders (#1609)		2022-11-09 13:25:00 +01:00
..
Eval	Make lambda lifting correct when free variables occur in the types of binders (#1609)	2022-11-09 13:25:00 +01:00
Transformation	Letrec lifting (#1579)	2022-10-21 19:13:06 +02:00
Eval.hs	Add internal core read command (#1517)	2022-09-06 15:26:48 +02:00
Transformation.hs	1569 rewrite the test for lambda lifting to use evaluation (#1572)	2022-10-12 10:19:02 +02:00