tweak week12: caps
[lambda.git] / new_stuff.mdwn
index a081480..8843d37 100644 (file)
@@ -1,7 +1,6 @@
 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.
 
-[[Week10]]
 
 
-[[Week11]]
 
 
-[[Assignment8]]
+[[Curry-Howard]]
+