git.iko.soy/Idris-dev
on 814ebda help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity) CoreParser.hsElaborating instance declarations Elaborate.hsBetter elaboration order; also changed instance argument syntax slightly Evaluate.hsFixed naming problem in type checking of application ProofShell.hsAdded refine, focus, undo ProofState.hsBetter elaboration order; also changed instance argument syntax slightly ShellParser.hsTinkering with tactics and deferred definitions TT.hsMake sure patterns are in dependency order Typecheck.hsImproved where; implicit arguments now expanded during elaboration Unify.hsFix small elaboration bug