20: Jesper Cockx
50 min•16 januari 2023
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 av The Haskell Interlude
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.