idris-1.3.0: Functional Programming Language with Dependent Types
Idris.Elab.RunElab
Description
elabRunElab :: ElabInfo -> FC -> PTerm -> [String] -> Idris () Source #