Zulip Chat Archive Stream: metaprogramming / tactics Topic: (no topic) Simon Hudon (Jan 07 2021 at 01:37): For the pattern matching Last updated: Dec 20 2025 at 21:32 UTC