lists-monad tweaks

[lambda.git] / new_stuff.mdwn

diff --git a/new_stuff.mdwn b/new_stuff.mdwn
index 8a74c05..8843d37 100644 (file)
--- a/new_stuff.mdwn
+++ b/new_stuff.mdwn
@@ -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]]
 
-[[Week11]]
 
+[[Curry-Howard]]