Week Date Topics Material Deadlines
1 9/2 Intro, packages and QuickCheck slides
2 14/2 Monads slides
16/2 Applicative, foldable and traversable slides
3 20/2 Deadline exercise set 1
21/2 Monad transformers slides
23/2 Tools, lazy evaluation & profiling slides and more slides
4 28/2 Type inference and classes slides
2/3 Lambda calculus slides
5 7/3 GADTs slides
9/3 Type families and data kinds slides
6 14/3 Generic programming slides
16/3 More generic programming & Intro to Agda (see the link above for the slides)
7 21/3 Dependently typed programming
23/3 Dependently typed programming code
8 28/3 Dependently typed programming code
30/3 Dependently typed programming code
9 4/4 Fusion & Hasochism slides
6/4 Ants