Home

Welcome to the Idris 2 wiki!

• Contributions wanted, feature requests, project ideas

For information about using Idris2, see the documentation

We have a discord channel

• https://discord.gg/UX68fDs2jc

Here a list of talks organised by the community about Idris:

• Community talks

If you want to get started with compiler developement here is what you need:

• Getting started

The next Idris Developer Meeting is happening from the 16th to the 20th of May 2022. Hope to see you there!

• Idris Developer Meeting, May 2022