38: Edwin Brady
The Haskell Interlude - En podkast av Haskell Podcast
Kategorier:
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.
