../ CaseTree.hsBasically working executor/interpreter14 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.hsDon't allow unification problems to be introduced in :p mode14 years ago Evaluate.hsMerge branch 'master' into providers14 years ago Execute.hsFix applications of applications in executor14 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.hsMerge branch 'master' into providers14 years ago Typecheck.hsRemove the unused arg from lookup functions14 years ago Unify.hsUnification fix14 years ago