ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "38: Edwin Brady"
Episode Synopsis
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.
More episodes of the podcast The Haskell Interlude
73: Jean-Philippe Bernardy
13/11/2025
72: Manuel Chakravarty
30/10/2025
71: Stefan Wehr
16/10/2025
70: Phil Wadler
14/09/2025
69: Jurriaan Hage
25/08/2025
68: Michael Snoyman
12/08/2025
67: Alex McLean
07/07/2025
66: Daniele Micciancio
24/06/2025
65: Andy Gordon
30/05/2025
64: Sandy Maguire
23/04/2025
In God we trust