Clone this wiki locally
Welcome to the Idris 2 wiki!
For information about using Idris2, see the documentation
We have a discord channel
Here a list of talks organised by the community about Idris:
If you want to get started with compiler developement here is what you need:
The next Idris Developer Meeting is happening from the 16th to the 20th of May 2022. Hope to see you there!