Lecture Notes:
- Week 1
- Introduction — Mon Sep 28
- Lists — Wed Sep 30
- Types — Fri Oct 2
- Week 2
- Natural Recursion — Mon Oct 5
- Polymorphism — Wed Oct 7
- Introduction to Haskell IO — Fri Oct 9
- Week 3
- A Bit of Tartness — Mon Oct 12
- Rot-13 — Wed Oct 14
- Types of Types — Fri Oct 16
- Week 4
- Functors — Mon Oct 19
- Monoid, Foldable — Wed Oct 21
- Applicative, Alternative — Fri Oct 23
- Week 5
- Monad plus MonadPlus — Mon Oct 26
- Monads: List, IO I — Wed Oct 28
- Midterm Exam — Fri Oct 30
- Week 6
- Monads: IO II — Mon Nov 2
- Monads: State I — Wed Nov 4
- Monads: State II — Fri Nov 6
- Week 7
- Intro to Functional Parsers — Mon Nov 9
- Practical Parsing — Wed Nov 11
- Monad Transformers — Fri Nov 13
- Week 8
- Monad Transformer Library — Mon Nov 16
- Propositional Logic: Preliminaries — Wed Nov 18
- Propositional Logic: Parsing — Fri Nov 20
- Week 9
- Propositional Logic: Tautology Checker — Mon Nov 23
- Propositional Logic: Quine Prover — Wed Nov 25
- No Class (Thanksgiving holiday) — Fri Nov 27
- Week 10
- Class cancelled — Mon Nov 30
- The Path Less Taken — Wed Dec 2
- No Class (Reading period) — Fri Dec 4
- Lectures not given.