Idris2Doc : Core.SchemeEval

Core.SchemeEval

(source)
Reexports
import public Core.SchemeEval.Compile
import public Core.SchemeEval.Evaluate
import public Core.SchemeEval.Quote
import public Core.SchemeEval.ToScheme
Definitions
snormalise : Ref Ctxt Defs => Env Term vars -> Term vars -> Core (Term vars)
  Visibility: export
snormaliseAll : Ref Ctxt Defs => Env Term vars -> Term vars -> Core (Term vars)
  Visibility: export
snf : Ref Ctxt Defs => Env Term vars -> Term vars -> Core (SNF vars)
  Visibility: export
snfAll : Ref Ctxt Defs => Env Term vars -> Term vars -> Core (SNF vars)
  Visibility: export