git.iko.soy/Idris-dev
on a805f47 help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsAdded constants and some primitive operations CoreParser.hsAdded constants and some primitive operations Elaborate.hsAll names introduced by nachine should be MN, to avoid clashes 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 constants and some primitive operations Typecheck.hsAdded constants and some primitive operations Unify.hsTinkering with error reporting