git.iko.soy/Idris-dev
on ff01a4c help sign in
Idris-dev/src/Idris/Elab
15 files
../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas Clause.hsChange totality checking and inlining Data.hsAlphabetize and indent imports and LANGUAGE pragmas Implementation.hsChange totality checking and inlining 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.hsChange totality checking and inlining Transform.hsAlphabetize and indent imports and LANGUAGE pragmas Type.hsChange totality checking and inlining Utils.hsAlphabetize and indent imports and LANGUAGE pragmas Value.hsAlphabetize and indent imports and LANGUAGE pragmas