X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=037e2c65eb35e83cd37d6615e7cfd2d27cf62052;hp=aa8aa643742d2bc6daf2137f3e26530962b07933;hb=0638e3b38097e20ebf645fe7cb1ecec4f17aef7a;hpb=0e29c49a39ca708072b89ac24477cf39ccd0eee6 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index aa8aa643..037e2c65 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 Monads]] +[[code/tree_monadize.ml]] +[[Curry-Howard]] + +[[Translating between OCaml Scheme and Haskell]]