Zulip Chat Archive

Stream: triage

Topic: PR #3515: feat(data/dfinsupp): Add an equivalence between...


view this post on Zulip 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?

view this post on Zulip Eric Wieser (Nov 29 2020 at 14:20):

Haven't looked at this in a while

view this post on Zulip 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?


Last updated: May 09 2021 at 15:11 UTC