Zulip Chat Archive
Stream: Is there code for X?
Topic: check parsing precedence
Asei Inoue (Feb 21 2025 at 23:03):
Is there a way to check the parsing precedence of notation defined with infix, prefix, or postfix commands without having to look at the definitions in the code? I'm writing a reference for Lean, so being able to check the precedence in the code would make it easier to update the document when the version changes.
Last updated: May 02 2025 at 03:31 UTC