Idris2Doc
: Evince.Config
Index
Default
Alternative
Black & White
Evince.Config
(
source
)
Definitions
parseArgs
:
List
String
->
RunConfig
Parse command-line arguments into a RunConfig.
Visibility
:
export