X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=new_stuff.mdwn;h=d153848e0573e96a8bfbdad8a44a9d49f6eb2a4f;hb=bb166bcf79a82ef90a330faddc2cdecce06394f6;hp=f13e9fe0ea112f9c4da28ea838fa8213c8a28118;hpb=ff95f5a38d61a6fa0b9c5e4da4253a6a3266a7dc;p=lambda.git diff --git a/new_stuff.mdwn b/new_stuff.mdwn index f13e9fe0..d153848e 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,15 +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. -[[From List Zippers to Continuations]] +Week11: -[[Manipulating Trees with Monads]] +* [[Tree and List Zippers]] +* [[Coroutines and Aborts]] +* [[From List Zippers to Continuations]] +* [[Assignment8]] -[[code/tree_monadize.ml]] +Week12: -[[Curry-Howard]] +* [[List Monad as Continuation Monad]] +* [[Manipulating Trees with Monads]] (still in progress) +* [[code/tree_monadize.ml]] +* [[Assignment9]] -[[Translating between OCaml Scheme and Haskell]] +New stuff, fairly stable: -[Commentary](/hints/assignment_6_commentary) on some common issues in the solutions to [[Assignment6]]. +* [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]]