Zulip Chat Archive
Stream: triage
Topic: issue #2891: support multiple targets in `equiv_rw`
Random Issue Bot (Dec 11 2020 at 14:24):
Today I chose issue 2891 for discussion!
support multiple targets in equiv_rw
Created by @Reid Barton (@rwbarton) on 2020-05-31
Labels: enhancement, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Apr 20 2021 at 14:24):
Today I chose issue 2891 for discussion!
support multiple targets in equiv_rw
Created by @Reid Barton (@rwbarton) on 2020-05-31
Labels: enhancement, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Scott Morrison (Apr 21 2021 at 01:21):
Still relevant, and I ran into it recently. Too much to do, but this one is actually pretty easy if someone wants to get their feet wet in tactic writing.
Random Issue Bot (Jan 29 2022 at 14:15):
Today I chose issue 2891 for discussion!
support multiple targets in equiv_rw
Created by @Reid Barton (@rwbarton) on 2020-05-31
Labels: enhancement, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Alex J. Best (Jan 29 2022 at 15:23):
@Arthur Paulino has been ticking off a bunch of stuff on the tactic wishlist recently. Maybe another good one for you?
Arthur Paulino (Jan 29 2022 at 15:57):
Oh, nice. I'm going to evaluate the scope of this one when I get home. Thanks for signalling!
Arthur Paulino (Jan 29 2022 at 16:36):
Seems like #2890 comes first
Arthur Paulino (Jan 29 2022 at 21:22):
Wow, equiv_rw is incredibly well documented. This is heavens!
Last updated: Dec 20 2023 at 11:08 UTC