Idris.DSL
Description
debindApp :: SyntaxInfo -> PTerm -> PTerm Source #
desugar :: SyntaxInfo -> IState -> PTerm -> PTerm Source #