-
Notifications
You must be signed in to change notification settings - Fork 376
Home
André Videla edited this page Dec 5, 2021
·
34 revisions
Welcome to the Idris 2 wiki!
We have a discord channel
The Next Idris developer meeting is coming up soon
To register join the discord and select the 🏰 emoji in the #roles channel.