Add lambda calculus example