../ CaseTree.hsFix let overloading bug with do blocks15 years ago Constraints.hsFix universe checking bug15 years ago CoreParser.hsAdded 'total' keyword and positivity check15 years ago Elaborate.hsGot pretty printing partially working using the Pretty type class as a replacement for Show. Now need to tweak it in order to make everything look nice, and to get terms printing correctly!15 years ago Evaluate.hsMake compile time evaluator take advantage of laziness again (And update test001 to catch it if it goes wrong again)15 years ago ProofShell.hsGot pretty printing partially working using the Pretty type class as a replacement for Show. Now need to tweak it in order to make everything look nice, and to get terms printing correctly!15 years ago ProofState.hsGot pretty printing partially working using the Pretty type class as a replacement for Show. Now need to tweak it in order to make everything look nice, and to get terms printing correctly!15 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsMajor improvement to pretty printing of proof states, especially when the goal is a large term.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