lists-monad tweaks
[lambda.git] / new_stuff.mdwn
index aa8aa64..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.
 
-[[Advanced Topics/Calculator Improvements]]
 
 
-[[Zipper]]
 
 
+[[Curry-Howard]]