jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 4 forks source link

feat/doc: add ARCHITECTURE file #54

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

Document the high-level structure of the code, as described in e.g. https://matklad.github.io/2021/02/06/ARCHITECTURE.md.html.

Add a file docs.md, documenting how to make certain basic changes, and mention both files in the README.