consistently use k for continuations
[lambda.git] / index.mdwn
index 9c4e176..1d090eb 100644 (file)
@@ -67,9 +67,11 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (30 Nov) Lecture notes for [[Week11]]; [[Assignment8]].
 
 
 (30 Nov) Lecture notes for [[Week11]]; [[Assignment8]].
 
->      Topics: [[Tree and List Zippers]]; [[Coroutines and Aborts]]; [[From Lists to Continuations]]; [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]].
+>      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]]
+
+>      Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; ...
 
 (13 Dec) Lecture notes for Week13
 
 
 (13 Dec) Lecture notes for Week13