X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=4c63118d775aa311dc32ce74f9269d8870f4c653;hp=9b6c09c76cbfa6ebe932d31289745c1b933e2da1;hb=b0f9d7289ac23fc87d2e7741c3faf27eb1d22ce7;hpb=9f1bf71886bce9c487f69b4678ad5adc97c9d679

diff --git a/index.mdwn b/index.mdwn
index 9b6c09c7..4c63118d 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -159,8 +159,11 @@ Practical advice for working with OCaml and/or Haskell (all will be posted soon)
 
 (**Week 7**) Thursday March 12
 
-> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Interpreter for Lambda terms; Starting with Monads
+> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Interpreter for Lambda terms; [[Introducing Monads|topics/week7_introducing_monads]]; [[Homework|exercises/assignment7]]
 
+<!--
+(**Week 8**) Thursday March 26
+-->
 
 <!--
 We've added a [[Monad Library]] for OCaml.
@@ -179,7 +182,7 @@ Rather, it's about a variety of conceptual/logical ideas that have been
 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