edits
[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.
 
-[[Advanced Topics/Calculator Improvements]]
 
-[[Zipper]]
 
+[[Curry-Howard]]