Function evaluation with lambda

• >>> (lambda x: x*x) (6)
• To evaluate:
• Take the body of the lambda term
• Splice the argument into the body
• Evaluate the result:
• (lambda x: x*x + 10) (6)
• x*x + 10
• 6*6 + 10
• 46