git.iko.soy/Idris-dev
on c9883e6 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsBetter choice of pattern to inspect in coverage CaseTree.hsBetter choice of pattern to inspect in coverage Constraints.hsAlphabetize and indent imports and LANGUAGE pragmas DeepSeq.hsAlphabetize and indent imports and LANGUAGE pragmas Elaborate.hsUse WHNF in a few places Evaluate.hsBetter choice of pattern to inspect in coverage Execute.hsBetter choice of pattern to inspect in coverage ProofState.hsAdd whnfArgs ProofTerm.hsAlphabetize and indent imports and LANGUAGE pragmas TT.hsBetter choice of pattern to inspect in coverage Typecheck.hsChange totality checking and inlining Unify.hsAlphabetize and indent imports and LANGUAGE pragmas WHNF.hsBetter choice of pattern to inspect in coverage