forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 3
Idris Developer Meetings
David Christiansen edited this page Mar 7, 2015
·
3 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
Development