../ 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.hsFix #101512 years ago Evaluate.hsBug fixing of induction bugs12 years ago Execute.hsMake executor emulate putchar12 years ago ProofState.hsMerge pull request #1143 from ahmadsalim/bug/inductionfix12 years ago TC.hsFuture-proof the TC' monad12 years ago TT.hsDocumentation for primitives12 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsRule out more cases in 'recoverable'13 years ago