X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=c4c3e435fa0bef6ae85d991acf075752c1d34140;hp=5e1c25da0db9edd45a876dcd416746671fb1644b;hb=daeb5d67207436ec5179e59098c11fe4b5525685;hpb=a2294b4df1fd5cab018bf234ab107f05ce54bc3e

diff --git a/index.mdwn b/index.mdwn
index 5e1c25da..c4c3e435 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -167,7 +167,7 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday);
 
 (**Week 9**) Thursday April 2
 
-> Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. Continued to fix some bugs and improve the monad transformers. Latest version posted Tuesday evening, 7 April: [[v1.5|/code/Juli8-v1.5.tgz]].
+> Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. Continued to fix some bugs and improve the monad transformers. Latest version posted Monday evening, 13 April: [[v1.6|/code/Juli8-v1.6.tgz]]. This version is needed to run [[the gsv2.ml code|/code/gsv2.ml]].
 
 <!--
 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`.
@@ -183,7 +183,7 @@ We've posted a [[State Monad Tutorial]].
 
 (**Week 10**) Thursday April 9
 
-> Topics: We will be discussing the reading posted above.
+> Topics: We will be discussing the reading posted above. Here are [[notes and links to code|/topics/week10_gsv]].