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

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



Will do

On Thu, Mar 4, 2021 at 4:37 PM Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:

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.
--
Isaac DeFrain

--
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/CAM3xQxH6erWq96VB41-1FhNSQOEzhT8gpuJUMnx_HhXFYdfU8Q%40mail.gmail.com.