../ CaseTree.hsFix overenthuiastic unused argument removal problem (Wasn't checking case analysis where the scrutinee was the result of a projection)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.hsDon't normalise everywhere!14 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.hsDon't normalise everywhere!14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsFix pToV scoping bug14 years ago Typecheck.hsDon't normalise everywhere!14 years ago Unify.hsDon't normalise everywhere!14 years ago