Idris2Doc
: Core.SchemeEval.Quote
Index
Default
Alternative
Black & White
Core.SchemeEval.Quote
(
source
)
Definitions
quote
:
Ref
Ctxt
Defs
=>
Env
Term
vars
->
SNF
vars
->
Core
(
Term
vars
)
Visibility
:
export