From 48f0cda90d79f047123afcab7dc6fb1d2b6205e7 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 12 Dec 2010 23:08:00 -0500 Subject: [PATCH] new_stuff Signed-off-by: Jim Pryor --- new_stuff.mdwn | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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]] -- 2.11.0