Idris2Doc
: Core.InitPrimitives
Index
Default
Alternative
Black & White
Core.InitPrimitives
(
source
)
Definitions
addPrimitives
:
Ref
Ctxt
Defs
=>
Core
()
Visibility
:
export