Zulip Chat Archive Stream: metaprogramming / tactics Topic: (no topic) Simon Hudon (Jan 07 2021 at 01:37): For the pattern matching Last updated: Feb 28 2026 at 14:05 UTC