README.md

lambda.calcue

λ A lambda calculus expression interpreter

This project evaluates a given lambda expression, and returns our term in beta normal form.

How To Run

1. Compile the application's entry point (if required).

$ ozc -c EntryPoint.oz

2. Run with OzEngine

$ ozengine EntryPoint.ozf -e "lam(x x)"

Abstract Syntax Tree (BNF)

expr := <id>                      free variable
        lam(<id> <expr>)          abstraction λ<id>.<expr>
        apply(<expr> <expr>)      application
        let(<id>#<expr> <expr>)   let <id> = <expr> in <expr> 

Authors

• Alexandru Stoica - Initial work - Master

See also the list of contributors who participated in this project.

License

This project is licensed under the MIT License - see the LICENSE.md file for details