idris-cph-exercises
idris-cph-exercises copied to clipboard
idris-hackers
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
idris-cph-exercises
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.
Metadata
23
Stars
5
Forks
Watchers
Owner
idris-hackers
Metadata
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.