../ Binary.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago CaseTree.hsAdd scoped implicit argument to Pi12 years ago Constraints.hsUse Set to remove duplicate constraints12 years ago DeepSeq.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Elaborate.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Evaluate.hsIgnore accessibility when rechecking12 years ago Execute.hsIO primitives tweak to support JS12 years ago ProofState.hsRecord provenance of types in 'fill' errors12 years ago ProofTerm.hs"claim" and "unfocus" tactics12 years ago TT.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Typecheck.hsIgnore accessibility when rechecking12 years ago Unify.hsAdd provenance flag to unification errors12 years ago