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.