Community

Mailing list

Long-form discussion happens on the mailing list.

IRC

There is also an irc channel #idris on freenode. Point your irc client to chat.freenode.net then /join #idris. Alternatively, there is a web interface.

GitHub

The Idris source is available from our repository. Tools and code by the wider Idris community are available in a GitHub organisation.

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.