Idris2Doc : Evince.Config

Evince.Config

(source)

Definitions

parseArgs : ListString->RunConfig
  Parse command-line arguments into a RunConfig.

Visibility: export