git.iko.soy/Idris-dev
on 69965ef help sign in
Idris-dev/src/Idris/Core
11 files
../ CaseTree.hsType constructor arguments are unused at run-time Constraints.hsStrictness annotations DeepSeq.hsMinor memory usage improvements Elaborate.hsAdd "Can't solve goal" error message Evaluate.hsCache names in evaluator environment Execute.hsFix logic in Executor ProofState.hsFix typo that led to unification bug TC.hsStrictness annotations TT.hsAdded %error_reverse annotation Typecheck.hsUse Data.Text for variable names Unify.hsFix naming problem in unification