git.iko.soy/Idris-dev
on fcfbfaa help sign in
Idris-dev/src/Core
9 files
../ CaseTree.hsStrictness improvements Constraints.hsWhitespace cleanup. Elaborate.hsWhitespace cleanup. Evaluate.hsTweak reduction rules for private/abstract names Execute.hsStop CPP from emitting useless warnings ProofState.hsMore flexible type class instances (on functions) TT.hsStrictness improvements Typecheck.hsFix regression with implicits, add a test Unify.hsMore flexible type class instances (on functions)