X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=938d31bb54c2c05e5588fa000dc9662998b7739d;hp=4872e3d8becdad5d9edc061a75da9ac424a1a480;hb=950f8bb64f87fa152e7d6885a7d3cd987c306eb3;hpb=ec3beaf6933b52a2434f08d4e93829bfbaa3d043

diff --git a/index.mdwn b/index.mdwn
index 4872e3d8..938d31bb 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -166,11 +166,12 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday);
 > Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]]; [[Long but useful ramble|topics/week8_ramble]]
 
 (**Week 9**) Thursday April 2
-> Topics: [[Installing and using the OCaml Juli8 library|/juli8]] (in progress); [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together
+> Topics: [[Installing and using the OCaml Juli8 library|/juli8]]; [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together
+
+> Updated the [[Juli8 Monad Library for OCaml|/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`.
 
 
 <!--
-We've added a [[Monad Library]] for OCaml.
 We've posted a [[State Monad Tutorial]].
 -->