Lambda calculus (individual)
Here is the link to the assignment.