Idris2Doc : Core.SchemeEval.Builtins

Core.SchemeEval.Builtins

(source)
Definitions
compileBuiltin : Name -> PrimFn farity -> SchemeObj Write
  Visibility: export