Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
-[[From List Zippers to Continuations]]
-[[Manipulating Trees with Monads]]
+* [[Tree and List Zippers]]
+* [[Coroutines and Aborts]]
+* [[From List Zippers to Continuations]]
+* [[Assignment8]]
-[[code/tree_monadize.ml]]
+* [[List Monad as Continuation Monad]]
+* [[Manipulating Trees with Monads]] (still in progress)
+* [[code/tree_monadize.ml]]
+* [[Assignment9]]
-[[Translating between OCaml Scheme and Haskell]]
+New stuff, fairly stable:
-[Commentary](/hints/assignment_6_commentary) on some common issues in the solutions to [[Assignment6]].
+* [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]]
-[[State Monad Tutorial]]
+* [[Curry-Howard]]
+* [[Curry-Howard-note]] is this current?
+* [[Using Continuations to Solve Same Fringe]]
+* [[Monad Transformers]]
+* [[Assignment10]]
+* [[CPS]]