38: Edwin Brady - podcast episode cover

38: Edwin Brady

Dec 04, 202359 minSeason 1Ep. 38
--:--
--:--
Download Metacast podcast app
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more

Episode description

Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.

For the best experience, listen in Metacast app for iOS or Android
Open in Metacast
38: Edwin Brady | The Haskell Interlude podcast - Listen or read transcript on Metacast