Documentation

debindApp :: SyntaxInfo -> PTerm -> PTermSource

desugar :: SyntaxInfo -> IState -> PTerm -> PTermSource

expandDo :: DSL -> PTerm -> PTermSource

var :: DSL -> Name -> PTerm -> Int -> PTermSource

unIdiom :: PTerm -> PTerm -> FC -> PTerm -> PTermSource

debind :: PTerm -> PTerm -> PTermSource