Idris2Doc
: utf8
Index
Default
Alternative
Black & White
Package utf8 - Namespaces
UTF8