../ 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.hsRemove the unused arg from lookup functions14 years ago Evaluate.hsRemove the unused arg from lookup functions14 years ago Execute.hsAdd type provider errors + test case14 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsMake 'count' partial/abstract to prevent compile-time reduction Deals with issue #17114 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsRemove the unused arg from lookup functions14 years ago Typecheck.hsRemove the unused arg from lookup functions14 years ago Unify.hsUnification fix14 years ago