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]] [[code/tree_monadize.ml]] [[Curry-Howard]] [[Translating between OCaml Scheme and Haskell]]