../ CaseTree.hsAdd two uncovered cases to substSC.12 years ago Constraints.hsStrictness annotations13 years ago DeepSeq.hsAdd a special name for instance constructors.13 years ago Elaborate.hsTweak mergeNotunified13 years ago Evaluate.hsAdd :who-calls and :calls-who to IDESlave13 years ago Execute.hsBetter error messages on emulated FFI13 years ago ProofState.hsTweak mergeNotunified13 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.hsRule out more cases in 'recoverable'13 years ago