Idris2Doc
: fixed
Index
Default
Alternative
Black & White
Package fixed - Namespaces
Data.Fixed