../ 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.hsRemove implicit qualifier for 'effect'12 years ago Evaluate.hsAvoid hole bindings in unification solutions12 years ago Execute.hsMake executor emulate putchar13 years ago ProofState.hsMerge pull request #1143 from ahmadsalim/bug/inductionfix13 years ago TC.hsFuture-proof the TC' monad12 years ago TT.hsRemove implicit qualifier for 'effect'12 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsAvoid hole bindings in unification solutions12 years ago