git.iko.soy/Idris-dev
on 8177659 help sign in
Idris-dev/src/Idris/Elab
15 files
../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas Clause.hsLook deeper when coverage checking Data.hsApply forcing optimisation on LHS 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.hsRemove unused case tree code Transform.hsAlphabetize and indent imports and LANGUAGE pragmas Type.hsChange totality checking and inlining Utils.hsLook deeper when coverage checking Value.hsAlphabetize and indent imports and LANGUAGE pragmas