lambda

Random lambda calculus stuff