forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
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.
New Foreign Function Interface
Tool Support
Community
- Mini Projects, for those interested in contributing
- Libraries, available elsewhere
- Idris Developer Meetings
- Tutorial: Type Providers and Foreign Functions
- The Zen of Idris
- Profiling
Feature proposals ("dragon eggs")