Idris2Doc
: fix-whitespace
Index
Default
Alternative
Black & White
Package fix-whitespace - Namespaces
Fix
Options