Community Survey (Idris: TyDD for the Real World)

14 views

Skip to first unread message

Thomas E. Hansen

unread,

Nov 18, 2025, 11:31:27 AM (11 days ago) Nov 18

to Idris Mailing List

Hello everyone,

Edwin and I are running a survey on how people are using Idris. If you have a bit of time to spare, we would really appreciate if you could fill in the following survey:

https://standrews.eu.qualtrics.com/jfe/form/SV_0ILh2wiljxgyIUS

Additionally, please feel free to distribute it wider to anyone or any other communities which might be interested in answering.