lambda calculus

Weak Head Normal Form;