Zulip Chat Archive Stream: metaprogramming / tactics Topic: (no topic) Simon Hudon (Jan 07 2021 at 01:37): For the pattern matching Last updated: May 02 2025 at 03:31 UTC