Idris2Doc : Evince.Reporter.Console

Evince.Reporter.Console

(source)
Definitions
consoleReporter : RunConfig -> Reporter
  Create a console reporter that prints colored test results to stdout.

  Visibility: export