X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=bf47b4fcfa8ab3b118b05d8beed5d98fe0907d8e;hp=8a74c0592a4cc266064bbed0ab5aed1a8e23d74d;hb=0c843ed2f741748d662a8eaea08c5e95061486fe;hpb=b7801991967a3ca88aaa238169eec3a63d916bcb diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 8a74c059..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. -[[Week10]] +[[From List Zippers to Continuations]] -[[Week11]] +[[Manipulating Trees with Monands]] +[[code/tree_monadize.ml]] +[[Curry-Howard]] + +[[Translating between OCaml Scheme and Haskell]]