edits
[lambda.git] / new_stuff.mdwn
index e582742..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.
 
-[[Week4]]
+[[Week10]]
 
-[[Week5]]
+[[Week11]]
 
-[[Assignment4]]
+[[Curry-Howard]]
 
-[[miscellaneous_lambda_challenges_and_advanced_topics]]
+[[Zipper-Lists-Continuations]]
 
-[[lambda_library]]
+[[Assignment8]]