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