Practical 2 for CS4201 Programming Language Design and Implementation.

Lambda calculus reference interpreter for Funl functional programming language.

Run the interpreter with:

java -jar CS4201-Lambda.jar <path to file>

For example:

java -jar CS4201-Lambda.jar Funl/examples/add.hs

will output:

((λx. λy. (x + y)) 2) 3
(λy. (2 + y)) 3
(2 + 3)
5

Alternatively, you can compile the source java files with ANTLR in your classpath and run Translate.main.

Test programs are included in Funl/examples.