Idris2Doc : Core.SchemeEval.ToScheme

Core.SchemeEval.ToScheme

(source)
Definitions
toSchemePi : PiInfo (SchemeObj Write) -> SchemeObj Write
  Visibility: export
toSchemeWhy : WhyErased (SchemeObj Write) -> SchemeObj Write
  Visibility: export