../ CaseTree.hsFixed pattern matching and delaborator bug15 years ago CoreParser.hsFix bug in applying syntax rules15 years ago Elaborate.hsSome effort at reporting line numbers of errors (top level of decl only)15 years ago Evaluate.hsSome unification/evaluation bug fixes15 years ago ProofShell.hsElaborating types and data declarations15 years ago ProofState.hsAdded lifting of unsolved metavariables to global functions15 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