git.iko.soy/Idris-dev
on d7df489 help sign in
Idris-dev/src/Core
11 files
../ CaseTree.hsAdded prelude.strings, made believe_me primitive 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.hsAdded prelude.strings, made believe_me primitive Typecheck.hsAdded prelude.strings, made believe_me primitive Unify.hsFix small elaboration bug