git.iko.soy/Idris-dev
on a7d08ef help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsFixed pattern matching and delaborator bug CoreParser.hsAdded constants and some primitive operations Elaborate.hsAllow interleaving of explicit and implicit arguments in top level types Evaluate.hsEnough Epic to compile 'hello world' (but not much else yet...) ProofShell.hsElaborating types and data declarations ProofState.hsTinkering with error reporting ShellParser.hsElaborating types and data declarations TT.hsSmall bug fixes Typecheck.hsAdded constants and some primitive operations Unify.hsTinkering with error reporting