X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=ba7e51a12da8a625d31f4e0f6db9dba395ca08c9;hp=e58274240c3f990f3861cebc4783e05c5f0baed4;hb=172783a2998a2d2d6a0e1cbda2e4f68710099fe3;hpb=c4317076803254a6a22a090d5f79f238110a56b7 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index e5827424..ba7e51a1 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,12 +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. -[[Week4]] +Week11: -[[Week5]] +* [[Tree and List Zippers]] +* [[Coroutines and Aborts]] +* [[From List Zippers to Continuations]] +* [[Assignment8]] -[[Assignment4]] +Week12: -[[miscellaneous_lambda_challenges_and_advanced_topics]] +* [[List Monad as Continuation Monad]] +* [[Manipulating Trees with Monads]] (still in progress) +* [[code/tree_monadize.ml]] +* [[Assignment9]] -[[lambda_library]] +New stuff, fairly stable: + +* [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]] + +In progress: + +* [[Curry-Howard]] +* [[Monad Transformers]] +* [[Assignment10]] +* [[CPS]]