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

Re: [tlaplus] TLA+ Community Survey - https://forms.gle/uLea7TR9a7uxS9tU6

Thank you all who have submitted a response to the community survey.  We have already made several exciting discoveries by looking at the preliminary results.   That said, please still fill out the survey (https://forms.gle/uLea7TR9a7uxS9tU6) if you haven’t.

> On Mar 8, 2022, at 8:48 AM, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
> Hi all,
> to help us get a better picture of our community, please participate in the TLA+ Community Survey: https://forms.gle/uLea7TR9a7uxS9tU6. We will share aggregated survey data eventually.
> Thank you!

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/E52F245F-503C-4CD8-AAD1-379F8C28989D%40lemmster.de.