-
Notifications
You must be signed in to change notification settings - Fork 379
Home
André Videla edited this page Mar 22, 2022
·
34 revisions
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 just concluded, see you next time!