Idris2Doc
: Pack.Database.TOML
Index
Default
Alternative
Black & White
Pack.Database.TOML
(
source
)
Definitions
idrisRepo
:
URL
URL of the Idris repository
Totality
:
total
Visibility
:
export