Screen recording of a course given at IT University, Copenhagen, March 11-15th. For more information about Idris, see idris-lang.org
Sorry for the low sound quality - this is an experiment in screen recording and if it works out, I'll try to do it with better equipment in future.
Loading more stuff…
Hmm…it looks like things are taking a while to load. Try again?