| Date | Topic | Notes |
|---|---|---|
| 9/23 | Introduction & The Lambda Calculus | pdf pdf html notes |
| 9/30 | From Lambda-Calculus to Haskell | pdf hs |
| 10/7 | Higher-Order Functions | html hs |
| 10/10 | (contd.) | html hs |
| 10/12 | Typeclasses | html hs |
| 10/17 | Functors and Monads | html hs |
| 10/31 | Parser Combinators | html hs |
| 11/4 | Property-based Testing | html hs |
| 11/9 | Monad Transformers | html hs |
| 11/18 | Concurrency | html hs pdf |
| 11/23 | Type Inference | html hs |
| 11/30 | Refinement Types | html hs |