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 

