Zulip Chat Archive
Stream: general
Topic: desugar specific macro only
Asei Inoue (Nov 16 2024 at 11:17):
Is it possible to desugar only certain macros with a feature like set_option pp.notation?
Last updated: May 02 2025 at 03:31 UTC
Is it possible to desugar only certain macros with a feature like set_option pp.notation?
Last updated: May 02 2025 at 03:31 UTC