We showed how to construct booleans, conditionals, data structures, numbers, and recursive functions
That's a real programming language
Now let's try it out
How?
Usual approach: Write an interpreter
Parser for -expressions
Evaluator substitutes arguments into -expressions
Not too difficult
Ho hum