git.iko.soy/Idris-dev
on 63afafa help sign in
Idris-dev/src/Core
11 files
../ CaseTree.hsBuild a call graph and only compile things which are used Constraints.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded CoreParser.hsAdded 'total' keyword and positivity check Elaborate.hsGive up type class resolution sooner Evaluate.hsImproved termination check (gets ackermann now, but still no mutual recursive definitions) ProofShell.hsSwitch from readline to haskeline ProofState.hsPropagate solutions properly ShellParser.hsFiddle with elaborator; update interp sample and test TT.hsCheck definitions structurally as well as by name in conversion Typecheck.hsCheck definitions structurally as well as by name in conversion Unify.hsCheck definitions structurally as well as by name in conversion