PLDA Homework 2: Lambda calculus evaluator

Implement a normal order evaluator for pure untyped lambda calculus.
A parser is not required, processing the internal representation of a lambda-expression suffices.

Marius Minea

Last modified: Fri Oct 21 13:00:00 EET 2011