moved zipper,intro_contin -> week11
[lambda.git] / new_stuff.mdwn
index f39287d..55c8cba 100644 (file)
@@ -1,12 +1,12 @@
 Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
 
 Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
 
-[[Week4]]
+[[Week10]]
 
 
-[[Week5]]
+[[Week11]]
 
 
-[[Assignment4]]
+[[Curry-Howard]]
 
 
-[[advanced_lambda]]
+[[Zipper-Lists-Continuations]]
 
 
-[[lambda_library]]
+[[Assignment8]]