Idris Developer Meetings

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.