../ CaseTree.hsAdd a Cabal library13 years ago Constraints.hsAdd a Cabal library13 years ago Elaborate.hsInduction works for all types with eliminators now (some eliminators still need fixing) including those with indicies.13 years ago Evaluate.hsMerge pull request #767 from ahmadsalim/feature/inductionimprovements13 years ago Execute.hsInitial partial version of REPL error reflection13 years ago ProofState.hsInduction works for all types with eliminators now (some eliminators still need fixing) including those with indicies.13 years ago TT.hsSupport names and terms in error reflection13 years ago Typecheck.hsInduction now works on types with parameters13 years ago Unify.hsMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library13 years ago