- Wed, 16/10: Intro
- Mon, 28/10: Laziness & Reality
- Wed, 30/10: Type Classes
- Mon, 4/11: Monoids & Foldables
- Wed, 6/11: Functors & Applicatives
- Wed, 20/11: Tournament & Applicatives & Monads
- Mon, 25/11: Monads & Liquid Haskell
- Wed, 27/11: Theorem Proving