Example Program For Lambda Calculus