Community

Mailing list
Long-form discussion happens on the mailing list.
GitHub
The Idris source is available from our repository. Tools and code by the wider Idris community are available in a GitHub organisation.
Discord
There is an Idris community on Discord with several channels for learning, help and different aspects of development. You can get an invitation to join here This is currently probably the most active place for interactive discussion of Idris.
IRC
There is also an irc channel #idris on libera. Point your irc client to irc.libera.chat then /join #idris. For a web interface, you can try IRCCloud.
Slack
There is an active #idris channel on the Functional Programming Slack.

All participants in these forums are requested to abide by the community standards.