../ CaseTree.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Constraints.hsMore platform agnostic now14 years ago CoreParser.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Elaborate.hsUndo unification changes... because it's broken...14 years ago Evaluate.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago ProofShell.hsmake TT aware of Set -> Type14 years ago ProofState.hsMake unification faster by computing HNF rather than normalising14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsPrimitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them14 years ago Typecheck.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Unify.hsUndo unification changes... because it's broken...14 years ago