X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=d153848e0573e96a8bfbdad8a44a9d49f6eb2a4f;hp=f39287dd91653e2ded2e4719fa8b51d23fae1861;hb=bb166bcf79a82ef90a330faddc2cdecce06394f6;hpb=260a35e134bfd7d8105208f13d4333cc9e50470a diff --git a/new_stuff.mdwn b/new_stuff.mdwn index f39287dd..d153848e 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,12 +1,32 @@ Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet. -[[Week4]] +Week11: -[[Week5]] +* [[Tree and List Zippers]] +* [[Coroutines and Aborts]] +* [[From List Zippers to Continuations]] +* [[Assignment8]] -[[Assignment4]] +Week12: -[[advanced_lambda]] +* [[List Monad as Continuation Monad]] +* [[Manipulating Trees with Monads]] (still in progress) +* [[code/tree_monadize.ml]] +* [[Assignment9]] -[[lambda_library]] +New stuff, fairly stable: + +* [Commentary](/hints/assignment_6_commentary) on some common issues in the solutions to [[Assignment6]]. +* [[Translating between OCaml Scheme and Haskell]] +* [[Monad Library]], code is at [[code/monads.ml]] +* [[State Monad Tutorial]] + +In progress: + +* [[Curry-Howard]] +* [[Curry-Howard-note]] is this current? +* [[Using Continuations to Solve Same Fringe]] +* [[Monad Transformers]] +* [[Assignment10]] +* [[CPS]]