Releases: txyyss/Lambda-Calculus
Releases · txyyss/Lambda-Calculus
Introduction and Interpreter
The first version of introduction and interpreter of lambda calculus is released.
lambda.pdf is the introductory article.
lambda is the interpreter for Mac OS X users.
lambda.exe is the interpreter of Windows users.
For linux users, I'm sorry. You can compile the file by yourself.
Just run:
ghc --make -O -o lambda Main.hs