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

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

Filled it out! Thanks to all who worked on creating/contributing/editing the survey (Hillel, Markus, others?)

Andrew

On Tuesday, March 8, 2022 at 11:48:25 AM UTC-5 Markus Alexander Kuppe 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/ba7954c3-e4d0-4925-ac91-69631ecd3da9n%40googlegroups.com.