Is a small programming language that provides an interface for creating lambda functions and developing/ interpreting lambda calculus examples.
To go through the examples in the Examples/ folder, please run
make all
./test.dats <path/to/lambda/file // for example ./test.dats Examples/queens.txt