../ CaseTree.hsStrictness improvements13 years ago Constraints.hsWhitespace cleanup.13 years ago Elaborate.hsWhitespace cleanup.13 years ago Evaluate.hsWhen specialising, reduce more names13 years ago Execute.hsStop CPP from emitting useless warnings13 years ago ProofState.hsMore flexible type class instances (on functions)13 years ago TT.hsMerge branch 'feature/eliminators' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/eliminators13 years ago Typecheck.hsFix regression with implicits, add a test13 years ago Unify.hsMore flexible type class instances (on functions)13 years ago