../ 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.hsEliminators working for some type - still experimental. Will create a way to make them work with the elim type class13 years ago Typecheck.hsFix regression with implicits, add a test13 years ago Unify.hsMore flexible type class instances (on functions)13 years ago