Idris2Doc
: IdrisPaths
Index
Default
Alternative
Black & White
IdrisPaths
(
source
)
Definitions
idrisVersion
: ((
Nat
, (
Nat
,
Nat
)),
String
)
Visibility
:
export
yprefix
:
String
Visibility
:
export