../ CaseTree.hsStrictness improvements13 years ago Constraints.hsWhitespace cleanup.13 years ago Elaborate.hsWhitespace cleanup.13 years ago Evaluate.hsTweak reduction rules for private/abstract names13 years ago Execute.hsStop CPP from emitting useless warnings13 years ago ProofState.hsMore flexible type class instances (on functions)13 years ago TT.hsFixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)13 years ago Typecheck.hsFix regression with implicits, add a test13 years ago Unify.hsMore flexible type class instances (on functions)13 years ago