1. Terms and Proofs (21/1/2025).
  2. Recursion (30/1/2025).
  3. Inductive Types; Typeclasses (25/2/2025).

Notes

Notes will be posted occasionally to supplement the material in lectures and references.