This project consists of short exercices and proofs about using the lambda-calculus as a programming language in the context of the Functional Programming module from the University of Bath in 2017.
The exercices/proofs can be read here.
- Email: adam@jaamour.com
- Website: www.adam.jaamour.com
- LinkedIn: linkedin.com/in/adamjaamour
- Twitter: @Adamouization