TLAPM documentation updates: README/DEVELOPING/CONTRIBUTING

33 views

Skip to first unread message

Andrew Helwer

unread,

Nov 25, 2024, 2:11:38 PM11/25/24

to tlaplus

Hello all,

If you have some spare cycles for non-code pull request reviewing I would love to get some eyes on this PR for the TLAPM repo: https://github.com/tlaplus/tlapm/pull/178

Basically I adapted my previous work writing the README.md, DEVELOPING.md, and CONTRIBUTING.md for the tlaplus/tlaplus repo to TLAPM. I look forward to your feedback!