X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=63b932865f56806fcd63d017d3907c4a369d2d62;hp=88af76612a3c34381905465f051cb46ff90b8c89;hb=67ba233c9e8cbf59f1538f61b7db4861e7d53319;hpb=6cd636212017dab1bf58937dcc6a405de40d0a90;ds=sidebyside

diff --git a/index.mdwn b/index.mdwn
index 88af7661..63b93286 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -163,27 +163,24 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday);
 
 
 (**Week 8**) Thursday March 26
-> Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]]
+> Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]]; [[Ramble on Monads and Modules|topics/week8_monads_and_modules]]
 
 (**Week 9**) Thursday April 2
-> Topics: Programming with mutable state; the State monad; using multiple monads together
 
-> Here are some OCaml libraries: [[Juli8|code/juli8.ml]] and [[Monad|code/monad.ml]]. We'll write up explanations of these soon. But quickly, before you `#use "juli8.ml"`, you have to run this in your OCaml session. (I have these lines in my `~/.ocamlinit` file, so they run every time OCaml starts up:
+> 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`.
 
->     #load "str.cma";;
->     module Std = struct
->       include Pervasives
->       module List = List
->       module Random = Random
->       module String = String
->     end
+> 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]]
 
+> Reading for Week 10: Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996)
 
 <!--
-We've added a [[Monad Library]] for OCaml.
 We've posted a [[State Monad Tutorial]].
 -->
 
+(**Week 10**) Thursday April 9
+
+
+
 
 ## Course Overview ##