There are some things we could do the improve Dynamatic's overall documentation.
[ ] Add a README section at the beginning showcasing the tool's capabilities at a glance (perhaps with a figure/gif or two).
[ ] Turn the project's docs directory into a GitHub wiki. The latter's offers a nicer web interface that the standard "code exploration interface" to see all the existing documents and their organization.
[ ] Add more high-level documentation for core parts of the project. A prime example is the buffering pass which is rather complex and is not formally described anywhere (e.g., its interaction with timing models).
There are some things we could do the improve Dynamatic's overall documentation.
docs
directory into a GitHub wiki. The latter's offers a nicer web interface that the standard "code exploration interface" to see all the existing documents and their organization.