| Week | Day | Topic | Resources |
|---|---|---|---|
| 1 | Tuesday | Judgements | |
| Wednesday | Induction | ||
| 2 | Tuesday | Statics | |
| Wednesday | Inversion & Structural Rules | ||
| 3 | Tuesday | Dynamics | |
| Wednesday | Type safety | ||
| 4 | Tuesday | Sums and products | |
| Wednesday | Functions | ||
| 5 | Tuesday | Recursion | |
| Wednesday | Recursion II | ||
| 6 | Tuesday | CBN, CBV, effects | |
| Wednesday | Modernised Algol I | ||
| 7 | Tuesday | Modernised Algol II | |
| Wednesday | Canonicity |
