Om avsnittet
In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.
Fler avsnitt
Visa alla avsnitt av The Haskell InterludeThe Haskell Interlude med Haskell Podcast finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.