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