-
Notifications
You must be signed in to change notification settings - Fork 378
Home
André Videla edited this page Dec 11, 2021
·
34 revisions
Welcome to the Idris 2 wiki!
We have a discord channel
The Next Idris developer meeting just concluded, see you next time!