coroutines tweak
[lambda.git] / new_stuff.mdwn
index fd0b7bf..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.
 
-[[Week10]]
 
-[[Zipper]]
 
+[[Curry-Howard]]