git.iko.soy/Idris-dev
on 2a68244 help sign in
Idris-dev/src/Idris/Elab
15 files
../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas Clause.hsCheck linearity of functions Data.hsCheck linearity of functions Implementation.hsAdd RigCount to PPi/Plicity Interface.hsAdd RigCount to PPi/Plicity Provider.hsAlphabetize and indent imports and LANGUAGE pragmas Quasiquote.hsAlphabetize and indent imports and LANGUAGE pragmas Record.hsAdd RigCount to PPi/Plicity Rewrite.hsAdd 'RigCount' to Pi and PVar RunElab.hsAlphabetize and indent imports and LANGUAGE pragmas Term.hsCheck for linearity of constructors Transform.hsAdd 'RigCount' to Pi and PVar Type.hsCheck linear types in binders are valid Utils.hsCheck linear types in binders are valid Value.hsAlphabetize and indent imports and LANGUAGE pragmas