git.iko.soy/Idris-dev
on 9b372d8 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.hsFix patvar naming for implicits Evaluate.hsChange evaluation of partial functions at REPL Execute.hsBetter choice of pattern to inspect in coverage ProofState.hsFix for cyclic solutions in unifyProblems ProofTerm.hsFix patvar naming for implicits 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