-* Optional: Jeff King, from *The Nature and Structure of Content*, on the difference between clausal complements and "the proposition that P", "the fact that P"
+
+Week 7:
+
+* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
+* Untyped lambda evaluator (will be posted soon)
+* [[Introducing Monads|topics/week7_introducing_monads]] (updated Fri 20 Mar)
+* [[Homework for week 7|exercises/assignment7]]
+
+Week 8:
+ * [[Safe division with monads|topics/week8_safe_division_with_monads]]
+