update new_stuff
[lambda.git] / new_stuff.mdwn
index f39287d..0649985 100644 (file)
@@ -1,12 +1,10 @@
 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]]
+[[Week11]]
 
 
-[[Week5]]
+[[Zipper-Lists-Continuations]]
 
 
-[[Assignment4]]
+[[Assignment8]]
 
 
-[[advanced_lambda]]
-
-[[lambda_library]]
+[[Curry-Howard]]