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