../ CaseTree.hsPass pattern variable names to match compiler15 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.hsPass pattern variable names to match compiler15 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.hsA small cleanup after missing some stray ends in the diff.15 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