added solution for mutual recursion fixed point combinators
[lambda.git] / index.mdwn
index 8726ff6..40c9d47 100644 (file)
@@ -71,23 +71,23 @@ 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]]
 
->      Topics: Calculator Improvements, including mutation; [[State Monad Tutorial]]
+>      Topics: Calculator Improvements, including mutation
 
 (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]]
 
@@ -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]]##