20: Jesper Cockx
Jan 16, 2023•50 min•Season 1Ep. 20
Episode description
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.
For the best experience, listen in Metacast app for iOS or Android
Open in Metacast