post links to Juli8 and Monad.ml

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 3de683b..b76b091 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -155,7 +155,7 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday);
 
 (**Week 7**) Thursday March 12
 
-Many of these were updated or first posted on Mon 23 March.
+> *Many of these were updated or first posted on Mon 23 March.*
 
 > Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; [[Introducing Monads|topics/week7_introducing_monads]]; [[Homework|exercises/assignment7]]; [[Environments and Closures|topics/week7_environments_and_closures]]; [[Untyped lambda evaluator|topics/week7_untyped_evaluator]]
 
@@ -165,6 +165,11 @@ Many of these were updated or first posted on Mon 23 March.
 (**Week 8**) Thursday March 26
 > Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]]
 
+(**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.
+
 <!--
 We've added a [[Monad Library]] for OCaml.
 We've posted a [[State Monad Tutorial]].