tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
MIT License
273 stars 36 forks source link

Update README.md with missing modules, updated contributors and cosmetic changes #92

Closed jonesmartins closed 1 year ago

jonesmartins commented 1 year ago

Closes #91.

I'm not sure about what qualifies as a module contributor. I considered a contributor someone who changed some module's operators or its overrides. I didn't consider typo fixes or comment fixes as enough a contribution to add to the table, but it's a worthy contribution nonetheless :-)

The two last commits change a few module descriptions. I standardized Ext modules' descriptions to "Additional operators on ... (e.g. ...)". Operator examples might not be a good idea, which is why I added them last. They might help orient users when searching for these operations (or they might confuse them even more).

Two suggestion for issues and contributions:

lemmy commented 1 year ago

Can you fix the DCO check?

jonesmartins commented 1 year ago

Fixed!