Idris2Doc : Evince

Evince

(source)
Reexports
import public Evince.App
import public Evince.Config
import public Evince.Core
import public Evince.Spec
import public Evince.Expectations
import public Evince.Hooks
import public Evince.Reporter
import public Evince.Runner