../ 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.hsIf the goal is not a function type when elaborating \, invent one ...and attempt to solve it by unification14 years ago Evaluate.hsFix eta problem14 years ago Execute.hsAdd type provider errors + test case14 years ago ProofShell.hsDisentangle Haskeline from the internals Idris14 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.hsAdd type provider errors + test case14 years ago Typecheck.hsFix some INTERNAL ERRORs which aren't (non-function type, nothing to introduce) (And the crowd goes wild)14 years ago Unify.hsUnification fix14 years ago