Idris2Doc : Pack.Runner

Pack.Runner

(source)

Reexports

importpublic Pack.Core

Definitions

runCmd : HasIOio=>EitherTPackErrio ()
  Main application entry point (modulo error handling).

Visibility: export