Home

Welcome to the Idris 2 wiki!

The next Idris Developer Meeting is scheduled for December 2022, more information here.

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.