Sign up to save your podcasts
Or
Share 20: Jesper Cockx
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
20: Jesper Cockx
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.
View all episodes
By Haskell Podcast
5
1313 ratings
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.
More shows like The Haskell Interlude
View all
Very Bad Wizards
2,678 Listeners
The Changelog: Software Development, Open Source
289 Listeners
Software Engineering Daily
625 Listeners
Talk Python To Me
585 Listeners
The Quanta Podcast
530 Listeners
Soft Skills Engineering
288 Listeners
CoRecursive: Coding Stories
190 Listeners
Iowa Type Theory Commute
19 Listeners
Machine Learning Street Talk (MLST)
93 Listeners
Dwarkesh Podcast
508 Listeners
Hard Fork
5,528 Listeners
Type Theory Forall
13 Listeners
Oxide and Friends
62 Listeners
Better Offline
558 Listeners
Complex Systems with Patrick McKenzie (patio11)
133 Listeners