38: Edwin Brady
The Haskell Interlude - Podcast készítő Haskell Podcast
Kategóriák:
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.
