The Idris Discord Is Now Read-Only

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.

Other articles

The Idris Community Is Moving to Zulip

Mon 18 May 2026
By CodingCellist

In News.

tags: announcement community

This was announced on the mailing list just over a month ago (but not on the website due to time limitations): the Idris community has been slowly but surely moving away from Discord to Zulip. Going forwards, the main way to chat with the Idris community will be through:

idris-lang …
read more
Idris Has Been Granted a Sponsored Zulip Cloud Standard Plan

Fri 23 January 2026
By CodingCellist

In News.

tags: community

By virtue of being a free and open-source software project, the Idris Zulip has generously been granted a sponsored Zulip Cloud Standard plan, enabling us to make certain channels (for example, the help channel) web-public, meaning their contents will be indexed by search engines, hopefully allowing people to find answers …
read more