../ 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.hsMinor cleanup and better comment and Haddock14 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.hsFix some INTERNAL ERRORs which aren't (non-function type, nothing to introduce) (And the crowd goes wild)14 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