../ CaseTree.hsStrip impossible cases when building case trees14 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hsAdded rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago Elaborate.hsImproved type-directed name disambiguation14 years ago Evaluate.hsevTree does not handle ImpossibleCase14 years ago Execute.hsMinor cleanup and better comment and Haddock14 years ago ProofShell.hsDisentangle Haskeline from the internals Idris14 years ago ProofState.hsChange forall tactic to use unify rather than isType Fixes issue #18914 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsAdded rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago Typecheck.hsMerge branch 'bitstring' of https://github.com/bitlisp/Idris-dev into bitlisp-bitstring14 years ago Unify.hsUnification fix14 years ago