../ CaseTree.hsFixed pattern matching and delaborator bug15 years ago CoreParser.hsFix bug in applying syntax rules15 years ago Elaborate.hslet bindings; fixed bug with simple lambda app15 years ago Evaluate.hsSome unification/evaluation bug fixes15 years ago ProofShell.hsElaborating types and data declarations15 years ago ProofState.hslet bindings; fixed bug with simple lambda app15 years ago ShellParser.hsFix bug in applying syntax rules15 years ago TT.hsSome effort at reporting line numbers of errors (top level of decl only)15 years ago Typecheck.hsSome unification/evaluation bug fixes15 years ago Unify.hsChange unification in function applications15 years ago