git.iko.soy/Idris-dev
on 65b6dbd help sign in
Idris-dev/src/Core
11 files
../ CaseTree.hsVerified numbers Constraints.hsMore platform agnostic now CoreParser.hsPrimitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them Elaborate.hsmake TT aware of Set -> Type Evaluate.hsVerified numbers ProofShell.hsmake TT aware of Set -> Type ProofState.hsmake TT aware of Set -> Type ShellParser.hsFiddle with elaborator; update interp sample and test TT.hsPrimitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them Typecheck.hsPrimitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them Unify.hsBetter dealing with name shadowing while building instances ...and while type checking completed terms