../ CaseTree.hsCase tree building considers heterogeneous types13 years ago Constraints.hsStrictness annotations13 years ago DeepSeq.hsAdd a special name for instance constructors.13 years ago Elaborate.hsAdd application context to all error messages13 years ago Evaluate.hsAdd :who-calls and :calls-who to IDESlave13 years ago Execute.hsRemove the Lazy flag entirely.13 years ago ProofState.hsActually track applications in the elaborator wrt unification fails13 years ago TC.hsStrictness annotations13 years ago TT.hsMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdoc13 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsSupport mixed induction/coinduction with Inf type13 years ago