Explanations about the client monad, including 'checkpoint' and 'restart' (up to interface section only)
Explanations about the client monad, including 'checkpoint' and 'restart' (up to interface section only)

hvr/hoopl,ezyang/hoopl,hvr/hoopl