+* Michael Rieppel, "[[Being Something: Properties and Predicative Quantification|readings/rieppel-beingsthg.pdf]]"
+
+Week 7:
+
+* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
+* Interpreter for Lambda terms
+* [[Introducing Monads|topics/week7_introducing_monads]] (updated Fri 20 Mar)
+* [[Homework for week 7|exercises/assignment7]]