From: Jim Pryor Date: Sun, 12 Dec 2010 18:00:04 +0000 (-0500) Subject: reorg new_stuff X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=bb166bcf79a82ef90a330faddc2cdecce06394f6 reorg new_stuff Signed-off-by: Jim Pryor --- diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 9b33245c..d153848e 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,18 +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]] -[[Monad Library]] +In progress: -[[State Monad Tutorial]] +* [[Curry-Howard]] +* [[Curry-Howard-note]] is this current? +* [[Using Continuations to Solve Same Fringe]] +* [[Monad Transformers]] +* [[Assignment10]] +* [[CPS]]