Samuel Hammersberg 39d0650115 Fixed a booleans not being outputted as literals.		2023-04-27 15:06:42 +02:00
..
Accurate_GC	Yoinked over the garbage collector.	2023-03-28 14:15:22 +02:00
CaseDesugar	Started working on a Case Desugar phase.	2023-03-31 18:16:26 +02:00
Codegen	Fixed a booleans not being outputted as literals.	2023-04-27 15:06:42 +02:00
Desugar	Added somewhat detailed README	2023-04-02 13:42:47 +02:00
GC	Added the updated GC.	2023-03-30 11:41:10 +02:00
Monomorphizer	Merged	2023-04-27 14:02:10 +02:00
Renamer	Replaced # with $	2023-04-07 16:01:23 +02:00
TypeChecker	mono fixier	2023-04-27 12:57:36 +02:00
AnnForall.hs	Add implicit foralls for bidir, update and unify pipeline	2023-04-05 17:26:52 +02:00
Auxiliary.hs	Fix bad inference on case expression, and make pretty for report	2023-04-08 21:52:57 +02:00
Compiler.hs	The compiler is now compiled with O3.	2023-03-30 15:08:40 +02:00
LambdaLifter.hs	Fix types in pattersgit add .git add .	2023-04-27 12:22:30 +02:00
Main.hs	Attacked the code generator and added bool support.	2023-04-27 13:49:00 +02:00
ReportForall.hs	Check number of arguments in pattern match	2023-04-24 10:10:15 +02:00
TreeConverter.hs	Deleted bad sample programs, added polymorphic call in polymorphic function test	2023-03-08 17:38:50 +01:00