../ Binary.hsMore information if a function is overapplied12 years ago CaseTree.hsAdd scoped implicit argument to Pi12 years ago Constraints.hsUse Set to remove duplicate constraints12 years ago DeepSeq.hsMore information if a function is overapplied12 years ago Elaborate.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Evaluate.hsIgnore accessibility when rechecking12 years ago Execute.hsFix partiality in executor and give better error12 years ago ProofState.hsMore information if a function is overapplied12 years ago ProofTerm.hs"claim" and "unfocus" tactics12 years ago TT.hsMore information if a function is overapplied12 years ago Typecheck.hsIgnore accessibility when rechecking12 years ago Unify.hsAdd provenance flag to unification errors12 years ago