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.

All the best,
Thomas

Reply all
Reply to author
Forward
0 new messages