Goal

• Show that -calculus can indeed compute anything interesting

• How?

• Build a programming language

• Values

• Conditional tests

• Data structures

• Numbers

• Arithmetic