If `ATS-Xanadu/docgen/SYNTAX` is a specification document, not a tutorial, we do not need to choose any format such like markdown, TeX, SGML, XML, HTML, etc... Let's choose your style as plain text such like RFC:
https://www.rfc-editor.org/in-notes/rfc-index.txt But we need TOC. -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dn1_S5bidEC57TM4f-QYvV1VeTb7zxFhse8fp99EqeDFw%40mail.gmail.com.