Re: [tlaplus] Repo for questions asked in this group

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 04.03.21 15:28, Isaac DeFrain wrote:
> Hello TLA+ community,
>
> This may interest those of you who are newer to TLA+ (and maybe those 
> who are more experienced). For the past few weeks, I have been writing 
> solutions to some of the questions that have been asked in this group 
> (I'm not aware if anyone else is doing something like this). I can't 
> make any promises as to what questions I will answer or anything wrt a 
> timeline, but nonetheless, I enjoy doing it and I have recently started 
> documenting my efforts here:
>
> https://github.com/Isaac-DeFrain/TLAplusFun 
> <https://github.com/Isaac-DeFrain/TLAplusFun>
>
> If anyone wants to contribute in any way, I'd appreciate the input! 
> You're also more than welcome to just lurk on the repo. Enjoy!



In the interest of minimizing fragmentation, please consider 
contributing to the TLA+ examples [1].

M.

[1] https://github.com/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 view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/fbf22fb0-3bd5-1b7a-5a8a-3ef9f90f4037%40lemmster.de.