[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] TLAPM documentation updates: README/DEVELOPING/CONTRIBUTING

From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
Date: Mon, 25 Nov 2024 11:11:38 -0800 (PST)

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!

Andrew Helwer

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/3ceb0521-3fed-4481-8e23-e2ae0b3e840fn%40googlegroups.com.

Prev by Date: Re: [tlaplus] Proving linearity of Fourier Transform
Next by Date: [tlaplus] TLA+ Community Meeting 2025
Previous by thread: Re: [tlaplus] Proving linearity of Fourier Transform
Next by thread: [tlaplus] TLA+ Community Meeting 2025
Index(es):
- Date
- Thread