git.iko.soy/Idris-dev
on b0248ea help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsFixed pattern matching and delaborator bug CoreParser.hsGeneric syntax declarations (see prelude.idr for example) 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