We have kindly had a railroad diagram generated for us for the coq grammar:
from this issue:
Might it be something worth having around as documentation?
I personally don't understand any of this.
And note that we already have our own tool to sync the parser and the documented syntax.
Did you see the flow diagrams? I thought they might be useful.
Maybe that's because I don't know enough about parsing but it was a bit difficult for me to decipher those. I'm more used to the way we document the grammar in the manual.
Last updated: Dec 06 2023 at 14:01 UTC