Move the documentation about the attribute syntax to an appendix page

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.

https://ocaml-gospel.github.io/gospel

MIT License

128 stars 16 forks source link

Move the documentation about the attribute syntax to an appendix page #322

Closed shym closed 1 year ago

shym commented 1 year ago

The section “Language specification” of the documentation starts with the explanation of the attribute syntax, etc. which is never used, and is ever used only by Gospel developers, probably. I suggest moving it to an appendix page.

jmid commented 1 year ago

I posted some comments in #57 back in 2021 after having given the documentation a read through - and started with a similar impression! I don't know if the other comments have been addressed.