X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=ba7e51a12da8a625d31f4e0f6db9dba395ca08c9;hp=28495b8ecb13b885bed6048d0d713ebca4a39c98;hb=172783a2998a2d2d6a0e1cbda2e4f68710099fe3;hpb=6ce7d9d61edfd3fb2bebee0b75ddaf06d1cb8a7e;ds=sidebyside diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 28495b8e..ba7e51a1 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,19 +1,30 @@ Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet. -[[Week11]] +Week11: -[[Tree and List Zippers]] +* [[Tree and List Zippers]] +* [[Coroutines and Aborts]] +* [[From List Zippers to Continuations]] +* [[Assignment8]] -[[Coroutines and Aborts]] +Week12: -[[From Lists to Continuations]] +* [[List Monad as Continuation Monad]] +* [[Manipulating Trees with Monads]] (still in progress) +* [[code/tree_monadize.ml]] +* [[Assignment9]] -[[List Monad as Continuation Monad]] +New stuff, fairly stable: -[[Manipulating Trees with Monads]] +* [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]] -[[Assignment8]] +In progress: - -[[Curry-Howard]] +* [[Curry-Howard]] +* [[Monad Transformers]] +* [[Assignment10]] +* [[CPS]]