Week Date Topics Material Deadlines
1 6/2 Introduction
2 11/2 Monads
13/2 Tools and testing
18/2 Applicative functors
20/2 Monad transformers
4 25/2 Lambda calculus
28/2 GADTs
5 4/3 Type families
6/3 System F and System Fc
6 11/3 Generic programming
13/3 Generic programming, lenses & intro to Agda
7 18/3 Dependently typed programming
20/3 Dependently typed programming
8 25/3 Dependently typed programming
27/3 Dependently typed programming
9 1/4 Hasochism
3/4 Project presentations