../ 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.hsRemove the unused arg from lookup functions14 years ago Evaluate.hsMerge branch 'master' into providers14 years ago Execute.hsReplace term as intermediate representation with HOAS ExecVal.14 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsFix some INTERNAL ERRORs which aren't (non-function type, nothing to introduce) (And the crowd goes wild)14 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