Mary had a little lambda (Anjana Vakil)

• Über research
• Recurse center

• Church Numerals with python lambdas. We have numbers, can add, multiply and do powers. Yaaay!
• Booleans, conditionals and logic.
• Lists, stuff.

All of this is called Church Encoding and it actually works in Python.