This list will be expanded throughout the semester.

A.Wed 21 Aug: Haskell functions
B.Mon 27 Aug: Haskell types
C.Wed 29 Aug: Haskell tuples & lists
D.Wed 5 Sep: Persistent data structures
E.Fri 7 Sep: Lambda calculus
F.Mon 17 Sep: Binding time
G.Fri 21 Sep: Tail recursion
H.Mon 24 Sep: Program proofs
I.Mon 1 Oct: Haskell monads