Zulip Chat Archive
Stream: triage
Topic: PR #3515: feat(data/dfinsupp): Add an equivalence between...
Random Issue Bot (Nov 29 2020 at 14:19):
Today I chose PR 3515 for discussion!
feat(data/dfinsupp): Add an equivalence between (Π₀ i j, β i j) and (Π₀ ij, β ij.1 ij.2)
Created by @Eric Wieser (@eric-wieser) on 2020-07-22
Labels: help wanted, incomplete
Is this PR still relevant? Any recent updates? Anyone making progress?
Eric Wieser (Nov 29 2020 at 14:20):
Haven't looked at this in a while
Random Issue Bot (Feb 17 2021 at 14:19):
Today I chose PR 3515 for discussion!
feat(data/dfinsupp): Add an equivalence between (Π₀ i j, β i j) and (Π₀ ij, β ij.1 ij.2)
Created by @Eric Wieser (@eric-wieser) on 2020-07-22
Labels: help wanted, incomplete
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 04 2021 at 14:19):
Today I chose PR 3515 for discussion!
feat(data/dfinsupp): Add an equivalence between (Π₀ i j, β i j) and (Π₀ ij, β ij.1 ij.2)
Created by @Eric Wieser (@eric-wieser) on 2020-07-22
Labels: help wanted, incomplete
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 23 2021 at 14:19):
Today I chose PR 3515 for discussion!
feat(data/dfinsupp): Add an equivalence between (Π₀ i j, β i j) and (Π₀ ij, β ij.1 ij.2)
Created by @Eric Wieser (@eric-wieser) on 2020-07-22
Labels: help wanted, incomplete
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 23 2022 at 14:14):
Today I chose PR 3515 for discussion!
feat(data/dfinsupp): Add an equivalence between (Π₀ i j, β i j) and (Π₀ ij, β ij.1 ij.2)
Created by @Eric Wieser (@eric-wieser) on 2020-07-22
Labels: help wanted, incomplete
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 15 2023 at 14:08):
Today I chose PR 3515 for discussion!
feat(data/dfinsupp): Add an equivalence between (Π₀ i j, β i j) and (Π₀ ij, β ij.1 ij.2)
Created by @Eric Wieser (@eric-wieser) on 2020-07-22
Labels: help wanted, incomplete
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC