git.iko.soy/Idris-dev
on 517acc1 help sign in
Idris-dev/src/Core
11 files
../ CaseTree.hsTest file for new VM, hook up parser Constraints.hsFix universe checking bug CoreParser.hsNamespace parsing improvements (for qualified operator names) thanks to Dirk Ullrich Elaborate.hsrename rts include file Evaluate.hsNo need to qualify unambiguous names on :p ProofShell.hsA small cleanup after missing some stray ends in the diff. ProofState.hsFix for simple function applications ShellParser.hsFiddle with elaborator; update interp sample and test TT.hsTest file for new VM, hook up parser Typecheck.hsCheck definitions structurally as well as by name in conversion Unify.hsFix for simple function applications