lists-monad tweaks

[lambda.git] / new_stuff.mdwn

diff --git a/new_stuff.mdwn b/new_stuff.mdwn
index f39287d..8843d37 100644 (file)
--- a/new_stuff.mdwn
+++ b/new_stuff.mdwn
@@ -1,12 +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.
 
-[[Week4]]
 
-[[Week5]]
 
-[[Assignment4]]
-
-[[advanced_lambda]]
-
-[[lambda_library]]
+[[Curry-Howard]]