[tlaplus] some tiny TLA+ examples

[Eric Johnson <eric3517@xxxxxxxxx>]

In the course of my own learning, I put together a set of the smallest examples I could think of.  Hillel Wayne gave me some encouraging feedback, so I'm hopeful other learners might also find them helpful.  If others would like to contribute examples or ideas or corrections, that would be very welcome.  

I'd also be open to contributing these to the official examples repo, but I don't know if that would be appropriate and also whether that would make it easier or harder for other newbies find and digest them?

https://github.com/lostbearlabs/tiny-tlaplus-examples

-- 
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.