Rewriting Slipshow in OCaml: The undo-able monad (via zem) — discussion

#ml