X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=27ce3a0dea79a49a61dbb5b4675caa778a226426;hp=000824624f32f532648872b87b24f45e759a55ae;hb=30e80630a4bdb0ec23dd7098f735b060f6a3de0f;hpb=9ef8c8a5c822f05b63ff23c92980a103efc85967

diff --git a/index.mdwn b/index.mdwn
index 00082462..27ce3a0d 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 Monday evening, 13 April: [[v1.6|/code/Juli8-v1.6.tgz]]. This version is needed to run the GSV.ml code.
+> 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,8 +183,29 @@ 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]].
 
+(**Week 11**) Thursday April 16
+
+> We postponed class this week to enable people to attend the Partee talk.
+
+(**Week 12**) Thursday April 23
+
+> Topics: Mutation and hyper-synonymy (no notes); [[Abortable list traversals|/topics/week12_abortable_traversals]]; [[List and tree zippers|/topics/week12_list_and_tree_zippers]]; [[Homework|exercises/assignment12]]
+
+> For amusement/tangential edification: [xkcd on code quality](https://xkcd.com/1513/); [turning a sphere inside out](https://www.youtube.com/watch?v=-6g3ZcmjJ7k)
+
+(**Week 13**) Thursday April 30
+
+> Topics: [[From list zippers to continuations|topics/week13_from_list_zippers_to_continuations]]; [[Coroutines, exceptions, and aborts|topics/week13_coroutines_exceptions_and_aborts]]; [[Let/cc and reset/shift|topics/week13_native_continuation_operators]]; CPS transforms
+
+(**Week 14**) Thursday May 7
+
+> Topics: Continuations (continued)
+
+(**Makeup class**) Monday May 11, 2--5 pm
+
+> Topics: Linguistic applications of continuations
 
 
 ## Course Overview ##