Idris2Doc : Control.Monad.Reader

Control.Monad.Reader

Reexports
import public Control.Monad.Reader.Reader as Control.Monad.Reader
import public Control.Monad.Reader.Interface as Control.Monad.Reader