Home

Welcome to the Idris 2 wiki!

If you want to build something with Idris, you can look at the learning and development resources, how to start with interactive editing in variety of popular editors, or browse some of the available libraries.

If you want to get involved in working on Idris itself, there's a guide for getting started, and another for which contributions are needed.

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