λ A lambda calculus expression interpreter
This project evaluates a given lambda expression, and returns our term in beta normal form.
- Compile the application's entry point (if required).
$ ozc -c EntryPoint.oz- Run with OzEngine
$ ozengine EntryPoint.ozf -e "lam(x x)"expr := <id> free variable
lam(<id> <expr>) abstraction λ<id>.<expr>
apply(<expr> <expr>) application
let(<id>#<expr> <expr>) let <id> = <expr> in <expr> - Alexandru Stoica - Initial work - Master
See also the list of contributors who participated in this project.
This project is licensed under the MIT License - see the LICENSE.md file for details