Search

Home > The Haskell Interlude > 38: Edwin Brady
Podcast: The Haskell Interlude
Episode:

38: Edwin Brady
Category: Technology
Duration: 00:58:33
Publish Date: 2023-12-04 08:00:00
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.
Total Play: 0