git.iko.soy/Idris-dev
on 521b8bf help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsAlphabetize and indent imports and LANGUAGE pragmas CaseTree.hsAlphabetize and indent imports and LANGUAGE pragmas 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.hsDetect implicit parameters to interfaces Typecheck.hsChange totality checking and inlining Unify.hsAlphabetize and indent imports and LANGUAGE pragmas WHNF.hsAlphabetize and indent imports and LANGUAGE pragmas