git.iko.soy/Idris-dev
on b0899cc help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsAlphabetize and indent imports and LANGUAGE pragmas CaseTree.hsApply forcing optimisation on LHS Constraints.hsAlphabetize and indent imports and LANGUAGE pragmas DeepSeq.hsAlphabetize and indent imports and LANGUAGE pragmas Elaborate.hsChange totality checking and inlining Evaluate.hsRemove unused case tree code Execute.hsRemove unused case tree code ProofState.hsChange totality checking and inlining ProofTerm.hsAlphabetize and indent imports and LANGUAGE pragmas TT.hsRemove a needless 'nub' Typecheck.hsChange totality checking and inlining Unify.hsAlphabetize and indent imports and LANGUAGE pragmas WHNF.hsAlphabetize and indent imports and LANGUAGE pragmas