Home - idris-lang/Idris2 GitHub Wiki

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.