git.iko.soy/Idris-dev
on 12bd089 help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsFixed pattern matching and delaborator bug CoreParser.hsAdded constants and some primitive operations Elaborate.hsAdded lifting of unsolved metavariables to global functions Evaluate.hsEnough Epic to compile 'hello world' (but not much else yet...) ProofShell.hsElaborating types and data declarations ProofState.hsAdded lifting of unsolved metavariables to global functions ShellParser.hsElaborating types and data declarations TT.hsAdded lifting of unsolved metavariables to global functions Typecheck.hsAdded lifting of unsolved metavariables to global functions Unify.hsTinkering with error reporting