../ 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.hsAdded getLine support to :x14 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