Home

Welcome to the Idris 2 wiki!

If you want to build something with Idris, you can look at the learning and development resources or browse some of the available libraries.

If you want to work on Idris itself, there's a guide for getting started, and another for what contributions are needed.

We also have a discord forum if you want to discuss ideas, if you get stuck, or for anything else.

Information about the next Idris Developer Meeting

For the next Idris Developer Meeting, follow this link