Idris course at ITU, slides and video

This week I’ve been giving a course on Dependently Typed Functional Programming in Idris at IT University, Copenhagen. Various course materials are available:

• Lecture 1, Introduction, slides, video
• Lecture 2, Embedded DSLs, slides, video
• Lecture 3, Effect management, slides, video
• Lecture 4, Implementing Idris, slides, video
• Example code
• Exercises
• Idris web page