edits
[lambda.git] / new_stuff.mdwn
index e582742..8843d37 100644 (file)
@@ -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.
 
 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]]
-
-[[miscellaneous_lambda_challenges_and_advanced_topics]]
-
-[[lambda_library]]
+[[Curry-Howard]]