../ CaseTree.hsCheck patterns are inaccessible15 years ago Constraints.hsFix universe checking bug15 years ago CoreParser.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago Elaborate.hsUnification tweak Use the code the programmer gives, not code the unifier finds.14 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.hsFix for simple function applications14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsQuicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.14 years ago Typecheck.hsCheck definitions structurally as well as by name in conversion15 years ago Unify.hsFix for simple function applications14 years ago