../ 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.hsA small cleanup after missing some stray ends in the diff.15 years ago Evaluate.hsNormalise types before applying forcing15 years ago ProofShell.hsA small cleanup after missing some stray ends in the diff.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.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