../ 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.hsSmall error message fix15 years ago Evaluate.hsAdded a 'boredom threshold' to the evaluator If it takes too long (probably because it's evaluating a non-terminating function) just returns the input. This is hopefully temporary until the totality checker works better...15 years ago ProofShell.hsSwitch from readline to haskeline15 years ago ProofState.hsTinker with specialisation15 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsWork towards making {static} arguments and specialisation work properly15 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