X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=eef1b6a8cd84adaaa7b9747ce10d4feb98a5e08a;hp=45d96adf318fdfd78b035e08d26f412e6c1f4881;hb=c51397c5a41cbf75e37382905b212868e427b16b;hpb=3f86acbea2b0d3b8bcaf3e6d543d88b3fee79469
diff --git a/index.mdwn b/index.mdwn
index 45d96adf..eef1b6a8 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -57,17 +57,21 @@ preloaded is available at [[assignment 3 evaluator]].
> Topics: Reader Monad for Jacobson's Variable-Free Semantics
-(15 Nov, 22 Nov) Lecture notes for [[Week9]]; [[Assignment7]]. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints".
+(15 Nov) Lecture notes for [[Week9]]; [[Assignment7]]. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints".
> Topics: Mutable Variables; Passing by Reference
(22 Nov) Lecture notes for [[Week10]]
-> Topics: Calculator improvements, including mutation
+> Topics: Calculator Improvements, including mutation
-(30 Nov) Lecture notes for Week11
+(30 Nov) Lecture notes for [[Week11]]; [[Assignment8]].
-(6 Dec) Lecture notes for Week12
+> Topics: [[Tree and List Zippers]]; [[Coroutines and Aborts]]; [[From Lists to Continuations]].
+
+(6 Dec) Lecture notes for [[Week12]]
+
+> Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; ...
(13 Dec) Lecture notes for Week13