Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda

diff --git a/representing_trees_with_monads.mdwn b/manipulating_trees_with_monads.mdwn
similarity index 100%
rename from representing_trees_with_monads.mdwn
rename to manipulating_trees_with_monads.mdwn

diff --git a/new_stuff.mdwn b/new_stuff.mdwn
index 0649985..ce75342 100644 (file)
--- a/new_stuff.mdwn
+++ b/new_stuff.mdwn
@@ -2,9 +2,20 @@ Page for Chris and Jim to see what each other is working on, but hasn't necessar
 
 [[Week11]]
 
-[[Zipper-Lists-Continuations]]
+[[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]]
 

diff --git a/week11.mdwn b/week11.mdwn
index b2ab88d..0128a5d 100644 (file)
--- a/week11.mdwn
+++ b/week11.mdwn
@@ -1,8 +1,6 @@
 These notes may change in the next few days (today is 30 Nov 2010).
 The material here benefited from many discussions with Ken Shan.
 
-[[!toc]]
-
 ##[[Tree and List Zippers]]##
 
 ##[[Coroutines and Aborts]]##