../ CaseTree.hsBetter representation of names15 years ago Constraints.hsAdded Constraints.hs for universe constrain solving (but don't expect it to work yet...)15 years ago CoreParser.hsCollect cumulativity constraints on universes15 years ago Elaborate.hsChanged lookup to return a list (preparation for namespaces)15 years ago Evaluate.hsChanged lookup to return a list (preparation for namespaces)15 years ago ProofShell.hsChanged lookup to return a list (preparation for namespaces)15 years ago ProofState.hsCollect cumulativity constraints on universes15 years ago ShellParser.hsTinkering with tactics and deferred definitions15 years ago TT.hsChanged lookup to return a list (preparation for namespaces)15 years ago Typecheck.hsChanged lookup to return a list (preparation for namespaces)15 years ago Unify.hsFix small elaboration bug15 years ago