Idris2Doc
: Data.Para
Index
Default
Alternative
Black & White
Data.Para
(
source
)
Reexports
import
public
Data.CT
import
public
Data.DPair