X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=new_stuff.mdwn;h=d153848e0573e96a8bfbdad8a44a9d49f6eb2a4f;hb=bb166bcf79a82ef90a330faddc2cdecce06394f6;hp=55c8cba3337072decfbefd57469a28bb789da5e8;hpb=d7222c3a02d8dd06a06377ee4d305bc4fbeab5f4;p=lambda.git diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 55c8cba3..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. -[[Week10]] +Week11: -[[Week11]] +* [[Tree and List Zippers]] +* [[Coroutines and Aborts]] +* [[From List Zippers to Continuations]] +* [[Assignment8]] -[[Curry-Howard]] +Week12: -[[Zipper-Lists-Continuations]] +* [[List Monad as Continuation Monad]] +* [[Manipulating Trees with Monads]] (still in progress) +* [[code/tree_monadize.ml]] +* [[Assignment9]] -[[Assignment8]] +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]]