git.iko.soy/Idris-dev
on bf1c22e help sign in
Idris-dev/src/Core
11 files
../ CaseTree.hsImprove case compilation by checking most distinct argument first Constraints.hsMore platform agnostic now CoreParser.hsmake TT aware of Set -> Type Elaborate.hsmake TT aware of Set -> Type Evaluate.hsmake TT aware of Set -> Type ProofShell.hsmake TT aware of Set -> Type ProofState.hsmake TT aware of Set -> Type ShellParser.hsFiddle with elaborator; update interp sample and test TT.hsmake TT aware of Set -> Type Typecheck.hsmake TT aware of Set -> Type Unify.hsBetter dealing with name shadowing while building instances ...and while type checking completed terms