Ali Caglayan (Jul 15 2021 at 16:10): Ali Caglayan (Jul 15 2021 at 16:10):We have kindly had a railroad diagram generated for us for the coq grammar:
diagram.xhtml
from this issue:
https://github.com/coq/coq/issues/14575
Might it be something worth having around as documentation?
Théo Zimmermann (Jul 15 2021 at 16:15):I personally don't understand any of this.
Théo Zimmermann (Jul 15 2021 at 16:15):And note that we already have our own tool to sync the parser and the documented syntax.
Ali Caglayan (Jul 15 2021 at 16:19):Did you see the flow diagrams? I thought they might be useful.
Théo Zimmermann (Jul 15 2021 at 16:48):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: Apr 20 2024 at 02:40 UTC