- comments TP04
- function application (right association) TP04
- lambda abstractions TP04
- global context binding (let) TP04
- read from file TP04
- REPL TP04
- if-then-else TP05
- naturals TP05
- booleans TP05
- type-system TP05
- unit value & type TP07
- sequences TP07
- local context binding (let-in) TP07
- records (key-value) TP07
- type variants TP07
- recursive function definition TP07
- references (mutable memory slot) TP08
- exceptions TP09