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:
In progress:
* [[Curry-Howard]]
-* [[Monad Transformers]]
* [[Assignment10]]
* [[CPS and Continuation Operators]]