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 2023 at 11:08 UTC