More generally if you like functional programming, the archives of the "Functional Geekery" podcast are a great resource: https://www.functionalgeekery.com/ ht

More generally if you like functional programming, the archives of the "Functional Geekery" podcast are a great resource: https://www.functionalgeekery.com/ https://www.functionalgeekery.com/ There's at least one episode that's devoted to Idris: https://www.functionalgeekery.com/episode-54-edwin-brady/ https://www.functionalgeekery.com/episode-54-edwin-brady/