add plotkin link

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index c469293..40c9d47 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -71,7 +71,7 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (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
+>      Topics: Mutable Variables; Passing by Reference; [[State Monad Tutorial]] (added recently)
 
 (22 Nov) Lecture notes for [[Week10]]
 
@@ -79,19 +79,19 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (30 Nov) Lecture notes for [[Week11]]; [[Assignment8]].
 
->      Topics: [[Tree and List Zippers]]; [[Coroutines and Aborts]]; [[From List Zippers to Continuations]].
+>      Topics: [[Tree and List Zippers]]; [[Coroutines and Aborts]]; [[From List Zippers to Continuations]]
 
-(6 Dec) Lecture notes for [[Week12]]
+(6 Dec) Lecture notes for [[Week12]]; [[Assignment9]].
 
->      Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; ...; [[Assignment9]].
+>      Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]] (updated); [[Monad Transformers]] (added recently)
 
-(13 Dec) Lecture notes for Week13
+(13 Dec) Lecture notes for Week13; [[Assignment10]].
 
-[[Upcoming topics]]
+>      Topics: [[CPS and Continuation Operators]]; Curry-Howard
 
 [[Advanced Topics]]
 
->      Topics: Version 4 lists, Monads in Category Theory, Calculator Improvements
+>      Topics: Version 4 lists, Monads in Category Theory
 
 ##Scheme and OCaml##
 
@@ -101,6 +101,8 @@ See [below](#installing) for how to get the programming languages running on you
 
 *      Links for help [[learning OCaml]]
 
+*      [[Translating between OCaml Scheme and Haskell]]
+
 
 ##[[Offsite Reading]]##