In March of 2013 a lecture series on Idris was given at the IT University Copenhagen.
This project takes the original lecture exercises and updates them to work with recent releases of Idris.
- Lecture One: Introduction
- Lecture Two Embedded DSLs
- Lecture Three Effect Management
- Lecture Four Implementing Idris
More sample Idris code can be found online here and here.
The Idris Tutorial is also available online and can be contributed on here.
The original course materials can be found here.
More exciting videos that help with learning about Idris are here.