week11 tweaks
[lambda.git] / new_stuff.mdwn
index 55c8cba..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.
 
-[[Week10]]
-
 [[Week11]]
 
-[[Curry-Howard]]
-
 [[Zipper-Lists-Continuations]]
 
 [[Assignment8]]
 
+[[Curry-Howard]]
+