Idris2Doc
: idris2-dep-graph
Index
Default
Alternative
Black & White
Package idris2-dep-graph - Namespaces
DepGraph.Data
DepGraph.Cli
Idris.Driver.Extra
Re-exports Idris.Driver with some private declarations.
Idris.Package.Extra
Re-exports Idris.Package with some private declarations.