churf/src
2023-02-12 13:01:12 +01:00
..
Auxiliary.hs Revert back to one lambda par, and fix issues with lambda lifter 2023-02-11 09:59:26 +01:00
Compiler.hs Implement basic interpreted language 2023-01-20 14:12:04 +01:00
Interpreter.hs Fix interpreter 2023-02-11 11:04:39 +01:00
LambdaLifter.hs Revert back to one lambda par, and fix issues with lambda lifter 2023-02-11 09:59:26 +01:00
Main.hs Don't run interpreter by default 2023-02-12 13:01:12 +01:00
TypeChecker.hs Implement basic interpreted language 2023-01-20 14:12:04 +01:00