X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=8843d37eec8d21c789551f9c581375bbf600131a;hp=aa8aa643742d2bc6daf2137f3e26530962b07933;hb=0feebbaaa58403d836d7ea6166cf709dd3faf1a8;hpb=0e29c49a39ca708072b89ac24477cf39ccd0eee6 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index aa8aa643..8843d37e 100644 --- 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]]