../ CaseTree.hsTest file for new VM, hook up parser14 years ago Constraints.hsFix universe checking bug15 years ago CoreParser.hsNamespace parsing improvements (for qualified operator names) thanks to Dirk Ullrich14 years ago Elaborate.hsrename rts include file14 years ago Evaluate.hsNew RTS almost ready, but for garbage collection problem14 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.hsTest file for new VM, hook up parser14 years ago Typecheck.hsCheck definitions structurally as well as by name in conversion15 years ago Unify.hsNew RTS almost ready, but for garbage collection problem14 years ago