idris-0.9.15: Functional Programming Language with Dependent Types
Idris.Elab.Transform
elabTransform :: ElabInfo -> FC -> Bool -> PTerm -> PTerm -> Idris (Term, Term)Source