Home

Welcome to the Idris 2 wiki!

• Contributions wanted, feature requests, project ideas

For information about using Idris2, see the official documentation

We have a discord channel

• https://discord.gg/UX68fDs2jc

Here a list of talks organised by the community about Idris:

• Community talks

If you want to get started with compiler developement here is what you need:

• Getting started

If you are looking for some development or learning resource, check out the resources page:

• Resources