This project is a simple untyped lambda-calculus interpreter prototype. It reduces any lambda-term thanks to the call-by-value reduction semantic.
daimyohub / untyped-lambda-calculus Goto Github PK
View Code? Open in Web Editor NEWA simple untyped lambda-calculus interpreter prototype.
License: MIT License