git.iko.soy/Idris-dev
on dccbc43 help sign in
Idris-dev/src/Core
11 files
../ CaseTree.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded Constraints.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded CoreParser.hsAdded 'impossible' keyword Elaborate.hsFiddle with elaborator; update interp sample and test Evaluate.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded ProofShell.hsChanged lookup to return a list (preparation for namespaces) ProofState.hsFiddle with elaborator; update interp sample and test ShellParser.hsFiddle with elaborator; update interp sample and test TT.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded Typecheck.hsDon't search for type class instances we'll never solve - also allow default Int for Num Unify.hsFix small elaboration bug