X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=bf47b4fcfa8ab3b118b05d8beed5d98fe0907d8e;hp=aa8aa643742d2bc6daf2137f3e26530962b07933;hb=0c843ed2f741748d662a8eaea08c5e95061486fe;hpb=0e29c49a39ca708072b89ac24477cf39ccd0eee6 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index aa8aa643..bf47b4fc 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,7 +1,11 @@ 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]] +[[From List Zippers to Continuations]] -[[Zipper]] +[[Manipulating Trees with Monands]] +[[code/tree_monadize.ml]] +[[Curry-Howard]] + +[[Translating between OCaml Scheme and Haskell]]