Idris2Doc : Evince.Async

Evince.Async

(source)
Reexports
import public Evince.Async.Spec
import public Evince.Async.Synchronized
import public Evince.Async.Hoist
import public Evince.Async.Shared
import public Evince.Async.Runner