pathterminuspages/tools/aboutcontactabout me

Interpreter for the Untyped Lambda Calculus

computer science/λ-calculus :: 18-03-2019

Interpret a program written in the untyped λ-calculus. The interpreter project can be found here. This is for the simple untyped Lambda Calculus. If you have any errors to report, do so by commenting on the project page.




CommentsGuest Name:Comment: