git.iko.soy/Idris-dev
on f01873f help sign in
Idris-dev/src/Idris/Core
11 files
../ CaseTree.hsRemove | annotation, make Force/Delay implicit Constraints.hsStrictness annotations DeepSeq.hsAdd a special name for instance constructors. Elaborate.hsAdd stack of elaboration context to ElaboratingArg Evaluate.hsFix for name shadowing in evaluator Execute.hsStop getArgs from crashing executor ProofState.hsActually track applications in the elaborator wrt unification fails TC.hsStrictness annotations TT.hsAdd stack of elaboration context to ElaboratingArg Typecheck.hsConversion checking tweak Unify.hsAdd stack of elaboration context to ElaboratingArg