Idris2Doc
: Idris.Package.Init
Index
Default
Alternative
Black & White
Idris.Package.Init
(
source
)
Definitions
interactive
:
IO
(
Maybe
PkgDesc
)
Visibility
:
export