../ CaseTree.hsCheck patterns are inaccessible15 years ago Constraints.hsFix universe checking bug15 years ago CoreParser.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago Elaborate.hsA small cleanup after missing some stray ends in the diff.15 years ago Evaluate.hsCheck patterns are inaccessible15 years ago ProofShell.hsA small cleanup after missing some stray ends in the diff.15 years ago ProofState.hsNormalise rewrite rule so that they apply more easily15 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsCheck patterns are inaccessible15 years ago Typecheck.hsCheck definitions structurally as well as by name in conversion15 years ago Unify.hsCheck definitions structurally as well as by name in conversion15 years ago