From: Jim Pryor Date: Mon, 13 Dec 2010 04:08:00 +0000 (-0500) Subject: new_stuff X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=48f0cda90d79f047123afcab7dc6fb1d2b6205e7 new_stuff Signed-off-by: Jim Pryor --- diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 2cad5695..4905cc30 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -10,8 +10,8 @@ Week11: Week12: * [[List Monad as Continuation Monad]] -* [[Manipulating Trees with Monads]] (still in progress) -* [[code/tree_monadize.ml]] +* [[Manipulating Trees with Monads]] (reworked), code is at [[code/tree_monadize.ml]] +* [[Monad Transformers]] (added) * [[Assignment9]] New stuff, fairly stable: @@ -24,7 +24,6 @@ New stuff, fairly stable: In progress: * [[Curry-Howard]] -* [[Monad Transformers]] * [[Assignment10]] * [[CPS and Continuation Operators]]