idris-0.9.14.3: Functional Programming Language with Dependent Types
Idris.ElabQuasiquote
extractUnquotes :: PTerm -> Elab' aux (PTerm, [(Name, PTerm)]) Source