churf/src
Samuel Hammersberg 56c80faeff Fixed a typo
2023-05-08 22:07:35 +02:00
..
Accurate_GC Removed GC, merge it into main to save correct commit history 2023-05-05 15:12:37 +02:00
CaseDesugar Squashed commit of the following: 2023-05-05 15:20:55 +02:00
Codegen Fixed a typo 2023-05-08 22:07:35 +02:00
Desugar more sample programs, added strings, added desugar for strings 2023-05-08 20:23:30 +02:00
GC Testing table lookup for marking 2023-05-08 11:55:56 +02:00
Monomorphizer more Justfile command and fixed bug in Monomorphizer 2023-05-08 21:50:54 +02:00
Renamer Squashed commit of the following: 2023-05-05 15:20:55 +02:00
TypeChecker Removed trace 2023-05-08 20:44:20 +02:00
AnnForall.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
Auxiliary.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
Compiler.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
LambdaLifter.hs Merge closures mostly done. Desugaring cases is a problem. 2023-05-06 23:38:56 +02:00
LambdaLifterIr.hs Add closures and fix lets in monomorphizer 2023-05-06 22:49:08 +02:00
Main.hs more Justfile command and fixed bug in Monomorphizer 2023-05-08 21:50:54 +02:00
OrderDefs.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
ReportForall.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00
TreeConverter.hs Squashed commit of the following: 2023-05-05 15:20:55 +02:00