-
Notifications
You must be signed in to change notification settings - Fork 644
Idris Developer Meetings
David Christiansen edited this page Mar 7, 2015
·
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 Goteborg and St Andrews.
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
- Non English Resources
Development