lambda calculus finished