git.iko.soy/Idris-dev
on da0a382 help sign in
Idris-dev/src/Idris/Elab
15 files
../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas Clause.hsTweak %error_reverse heuristic Data.hsAlphabetize and indent imports and LANGUAGE pragmas Implementation.hsDetect implicit parameters to interfaces Interface.hsPrint interface parameter constraints in :doc Provider.hsAlphabetize and indent imports and LANGUAGE pragmas Quasiquote.hsAlphabetize and indent imports and LANGUAGE pragmas Record.hsAlphabetize and indent imports and LANGUAGE pragmas Rewrite.hsAlphabetize and indent imports and LANGUAGE pragmas RunElab.hsAlphabetize and indent imports and LANGUAGE pragmas Term.hsAlphabetize and indent imports and LANGUAGE pragmas Transform.hsAlphabetize and indent imports and LANGUAGE pragmas Type.hsAlphabetize and indent imports and LANGUAGE pragmas Utils.hsAlphabetize and indent imports and LANGUAGE pragmas Value.hsAlphabetize and indent imports and LANGUAGE pragmas