Idris2Doc : Control.Monad.Writer

Control.Monad.Writer

Reexports
import public Control.Monad.Writer.Interface as Control.Monad.Writer
import public Control.Monad.Writer.CPS as Control.Monad.Writer