Zulip Chat Archive

Stream: triage

Topic: issue #3349: assoc_rw can leave side-goals as metavariables


view this post on Zulip Random Issue Bot (Dec 25 2020 at 14:27):

Today I chose issue 3349 for discussion!

assoc_rw can leave side-goals as metavariables
Created by @Alex J Best (@alexjbest) on 2020-07-09
Labels: bug, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Jan 07 2021 at 14:31):

Today I chose issue 3349 for discussion!

assoc_rw can leave side-goals as metavariables
Created by @Alex J Best (@alexjbest) on 2020-07-09
Labels: bug, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Feb 08 2021 at 14:19):

Today I chose issue 3349 for discussion!

assoc_rw can leave side-goals as metavariables
Created by @Alex J Best (@alexjbest) on 2020-07-09
Labels: bug, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Feb 27 2021 at 14:19):

Today I chose issue 3349 for discussion!

assoc_rw can leave side-goals as metavariables
Created by @Alex J Best (@alexjbest) on 2020-07-09
Labels: bug, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Apr 05 2021 at 14:24):

Today I chose issue 3349 for discussion!

assoc_rw can leave side-goals as metavariables
Created by @Alex J Best (@alexjbest) on 2020-07-09
Labels: bug, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Apr 25 2021 at 14:24):

Today I chose issue 3349 for discussion!

assoc_rw can leave side-goals as metavariables
Created by @Alex J Best (@alexjbest) on 2020-07-09
Labels: bug, meta

Is this issue still relevant? Any recent updates? Anyone making progress?


Last updated: May 09 2021 at 15:11 UTC