As mentioned in an earlier post, today marks the day where the Idris community discord changes to read-only. The Discord has served us extremely well and we are sorry to see it go (especially me, CC, as I was the one who set it up), but both changes to Discord as a platform and features which Zulip support but Discord doesn't mean it is time to change to something new. The details are in the earlier post, as well as on the mailing list (and the now-read-only Discord).

See you all on idris-lang.zulipchat.com!

P.S. This also marks the end of the May 2026 Idris Developer Meeting. A post about what it was like and what people worked on will be up soon.