[tcopeland]

More generally if you like functional programming, the archives of the "Functional Geekery" podcast are a great resource:

https://www.functionalgeekery.com/

There's at least one episode that's devoted to Idris:

https://www.functionalgeekery.com/episode-54-edwin-brady/