idris-0.9.14.3: Functional Programming Language with Dependent Types
Idris.DSL
debindApp :: SyntaxInfo -> PTerm -> PTerm Source
desugar :: SyntaxInfo -> IState -> PTerm -> PTerm Source
expandDo :: DSL -> PTerm -> PTerm Source
var :: DSL -> Name -> PTerm -> Int -> PTerm Source
unIdiom :: PTerm -> PTerm -> FC -> PTerm -> PTerm Source
debind :: PTerm -> PTerm -> PTerm Source