../ CaseTree.hsStrictness improvements13 years ago Constraints.hsWhitespace cleanup.13 years ago Elaborate.hsAdd missing error message Fixes #69313 years ago Evaluate.hsFixed malformed haddock comments13 years ago Execute.hsStop CPP from emitting useless warnings13 years ago ProofState.hsMore flexible type class instances (on functions)13 years ago TT.hsAdd %name directive for naming hints in editing.13 years ago Typecheck.hsFix regression with implicits, add a test13 years ago Unify.hsMore flexible type class instances (on functions)13 years ago