Zulip Chat Archive
Stream: general
Topic: Filtered `#where`
Oliver Nash (May 26 2021 at 19:56):
I'm pretty sure the answer to this is "no" but do we / could we have a version of #where
that consumes a carrier type and emits all the variables depending on it.
Last updated: Dec 20 2023 at 11:08 UTC