git.iko.soy/Idris-dev
on 083fc70 help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsAdded constants and some primitive operations CoreParser.hsAdded constants and some primitive operations Elaborate.hsAllow interleaving of explicit and implicit arguments in top level types Evaluate.hsAdded constants and some primitive operations ProofShell.hsElaborating types and data declarations ProofState.hsTinkering with error reporting ShellParser.hsElaborating types and data declarations TT.hsAdded 'where' clauses in pattern matches Typecheck.hsAdded constants and some primitive operations Unify.hsTinkering with error reporting