Idris2Doc : Pack.Runner.New

Pack.Runner.New

(source)

Definitions

new : HasIO io => CurDir -> PkgType -> Body -> IdrisEnv -> EitherT PackErr io ()
  Create a new package at current location

Visibility: export