* [[System F|topics/week5 system F]]
* Types in OCaml and Haskell (will be posted someday)
* Practical advice for working with OCaml and/or Haskell (will be posted someday)
-* [[Homework for weeks 5 and 6|exercises/assignment5]] ([[Answers|exercises/assignment5_answers]])
+* [[Homework for weeks 5 and 6|exercises/assignment5-6]] ([[Answers|exercises/assignment5-6_answers]])
Week 6:
* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* [[Introducing Monads|topics/week7_introducing_monads]] (updated Mon 23 Mar)
-* [[Homework for week 7|exercises/assignment6-7]] (updated Mon 23 Mar)
+* [[Homework for week 7|exercises/assignment7]] (updated Mon 23 Mar)
* [[Environments and Closures|topics/week7_environments_and_closures]]
* [[Untyped lambda evaluator|topics/week7_untyped_evaluator]]