Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
[lambda.git] / new_stuff.mdwn
index a081480..ce75342 100644 (file)
@@ -1,7 +1,21 @@
 Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
 
-[[Week10]]
-
 [[Week11]]
 
+[[Tree and List Zippers]]
+
+[[Coroutines and Aborts]]
+
+[[From Lists to Continuations]]
+
+[[List Monad as Continuation Monad]]
+
+[[Manipulating Trees with Monads]]
+
+[[Zipper-Lists-Continuations]] -- now obsolete?
+
 [[Assignment8]]
+
+
+[[Curry-Howard]]
+