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

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

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


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.