X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=ea4f3d916134f00e52fffe330d788a9a7907f804;hp=56e223bfedc2974fd1fd20acfb5403296f8e61a4;hb=d83905df72d2387c41cf8df3c83b9853e102e1cb;hpb=09262287053bac62c26c6221c29a1c809161d0a9

diff --git a/index.mdwn b/index.mdwn
index 56e223bf..ea4f3d91 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -145,7 +145,7 @@ Practical advice for working with OCaml and/or Haskell (all will be posted soon)
 
 > *There is some assigned reading for our next meeting.* This comes in two batches. The first batch consists of [[this footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives*. Also recommended, but not mandatory, is [[this selection|readings/king-on-schiffer.pdf]] from Chapter 4 of Jeff King's 2007 book *The Nature and Structure of Content*. The second batch consists of [[this paper|readings/rieppel-beingsthg.pdf]] from Michael Rieppel, a recent Berkeley Philosophy PhD, on Frege's "concept horse" problem. Also recommended, but not mandatory, is [[this selection|readings/king-on-logicism.pdf]] from Chapter 5 of King's book. (It reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)".)
 
-> If you're interested in the scholarly background on Frege's "concept horse" problem, here is [an entry point](http://philpapers.org/rec/PROWIF)).
+> If you're interested in the scholarly background on Frege's "concept horse" problem, here is [an entry point](http://philpapers.org/rec/PROWIF).
 
 > If you're reading along in Hankin, you can look at Chapter 7.
 
@@ -155,6 +155,15 @@ Practical advice for working with OCaml and/or Haskell (all will be posted soon)
 
 > 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.
@@ -173,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