../ CaseTree.hsAdd two uncovered cases to substSC.13 years ago Constraints.hsStrictness annotations13 years ago DeepSeq.hsAdd a special name for instance constructors.13 years ago Elaborate.hsFix #101513 years ago Evaluate.hsBug fixing of induction bugs13 years ago Execute.hsMake executor emulate putchar12 years ago ProofState.hsMerge pull request #1143 from ahmadsalim/bug/inductionfix13 years ago TC.hsStrictness annotations13 years ago TT.hsBug fixing of induction bugs13 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsRule out more cases in 'recoverable'13 years ago