X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=4905cc301c7c806fd087dcb3da051829fbe0a37d;hp=2cad56956139f8ba0911460c7e62f6f18f795ed9;hb=e948c27044f69962483a6c62a8568b84acd5be85;hpb=347bc26072eb5d6c69943f72306768b28161f1ab 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]]