search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Implement lint command #31

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Readability matters!

We have a lot of collective knowledge about principles that help make a spec useful (ito formatting, structure, phrasing, linking, etc.). We should automate existing documentation, and make it quick and easy to add new configurations to automate additional guidelines.