> We will be discussing the readings posted above.
+> Topics: [[Kaplan on Plexy|topics/week6_plexy]]; King on that-clauses and "the proposition that P"; Rieppel on Frege and the concept HORSE
+
+(**Week 7**) Thursday March 12
+
+> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Interpreter for Lambda terms; [[Introducing Monads|topics/week7_introducing_monads]]
+
+<!--
+(**Week 8**) Thursday March 26
+-->
<!--
We've added a [[Monad Library]] for OCaml.
developed in computer science and that linguists and philosophers ought to
know, or may already be unknowingly trying to reinvent.
-Philosphers and linguists tend to reuse the same familiar tools in
+Philosophers and linguists tend to reuse the same familiar tools in
ever more (sometime spectacularly) creative ways. But when your only
hammer is classical logic, every problem looks like modus ponens. In
contrast, computer scientists have invested considerable ingenuity in