Send before Apr 27, 2021
The goal of this assignment is to write a lambda calculus interpreter in a functional programming language to reduce lambda calculus expressions in call-by-name.
Pakistan