* [[System F|topics/week5 system F]]
* Types in OCaml and Haskell (will be posted soon)
* Practical advice for working with OCaml and/or Haskell (will be posted soon)
-* [[Homework for weeks 5 and 6|exercises/assignment5]]
+* [[Homework for weeks 5 and 6|exercises/assignment5]] ([[Answers|exercises/assignment5_answers]])
+
Week 6:
* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* Interpreter for Lambda terms
-* [[Introducing Monads|topics/week7_introducing_monads]]
+* [[Introducing Monads|topics/week7_introducing_monads]] (updated Fri 20 Mar)
* [[Homework for week 7|exercises/assignment7]]