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