../ CaseTree.hsFix error in case tree optimisation (hence fix issue #70)14 years ago Constraints.hsFix cyclic universe checking bug14 years ago CoreParser.hsSmall change to doc comment syntax (allow spaces before | or ^)14 years ago Elaborate.hsMarginally improve unification errors14 years ago Evaluate.hsMinor fixes for inlining and integer literals14 years ago ProofShell.hsA small cleanup after missing some stray ends in the diff.15 years ago ProofState.hsBetter dealing with name shadowing while building instances ...and while type checking completed terms14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsAdded postulate declarations postulate foo : type -- 'type' must return something of a collapsible type, i.e. a type with at most one instancei determined entirely by the indices, to ensure that it is unused at run-time.14 years ago Typecheck.hsBetter dealing with name shadowing while building instances ...and while type checking completed terms14 years ago Unify.hsBetter dealing with name shadowing while building instances ...and while type checking completed terms14 years ago