lists-to-contin tweaks

[lambda.git] / new_stuff.mdwn

diff --git a/new_stuff.mdwn b/new_stuff.mdwn
index aa8aa64..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.
 
-[[Advanced Topics/Calculator Improvements]]
 
-[[Zipper]]
 
+[[Curry-Howard]]