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.