-
Notifications
You must be signed in to change notification settings - Fork 644
Idris Developer Meetings
Janus Troelsen edited this page May 13, 2022
·
4 revisions
Every so often, an 'Idris Developer Meeting' will be held. These meetings serve as an opportunity for fellow Idris enthusiasts to meet face-to-face and work on parts of Idris. Past meetings have been held in Göteborg and St Andrews.
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
- Non English Resources
Development