Awesome Idris Talks

A curated list of amazing Idris related conference talks.