Tutorial
This is the language used in
the tutorial.
- Host language: Basic, untyped
lambda calculus with small-step evaluation
- Let extension: New syntax for let
expressions
- Typing extension: Adds
simple typing to the language
- Num extension: Building on the
typing extension, adds integer literals and addition, as well as
an integer type
