38: Edwin Brady
Dec 04, 2023•59 min•Season 1Ep. 38
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