LambdaCalculusInterpreter

A lambda calculus interpreter with type checking.

Installation

This project requires the ATS2 compiler to be installed already.

git clone https://github.com/rahul-arasikere/LambdaCalculusInterpreter.git
cd LambdaCalculusInterpreter
make

You can optionally specify make -j# to run '#' jobs in parallel, if you have a multicore cpu.

To clean the build files run:

make clean

To generate the filename.c file:

./lambda filename

To compile it to an executable:

gcc -o filename filename.c