X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=1b7387924c5d8f9398a9431591d2fa65cd9efcf7;hp=ad74fd04516bd3e86b4dd3b2500ca30e17e99d0a;hb=3238ec0eb8833dd91099d818fc8ab09efa71e512;hpb=05ca344eac8fd4b76e1ed2b920c9707751b5e1e3

diff --git a/index.mdwn b/index.mdwn
index ad74fd04..1b738792 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -169,13 +169,18 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday);
 
 > Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. The major change is to make the Monad libraries easier to use. Now you can just use `Monad.Reader(struct type env = ... end)`; you don't need to furthermore ask for the `M` submodule of that generated module. Relatedly, the `List` and `Monad.List` modules are now different; the former has lots of list-related functions and the latter only the monadic interface. Similarly for `Option` and `Monad.Option`.
 
-> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together; [[Homework for weeks 8-9|/exercises/assignment8]]
+> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together; [[Homework for weeks 8-9|/exercises/assignment8-9]]
 
+> Reading for Week 10: Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996)
 
 <!--
 We've posted a [[State Monad Tutorial]].
 -->
 
+(**Week 10**) Thursday April 9
+
+
+
 
 ## Course Overview ##