Add example for lambda calculus