../ 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.hsMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-library13 years ago ProofState.hsInduction works for all types with eliminators now (some eliminators still need fixing) including those with indicies.13 years ago TT.hsInduction now works on types with parameters13 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