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
1414 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
Freakonomics Radio
32,246 Listeners
99% Invisible
26,242 Listeners
The Quanta Podcast
544 Listeners
Alex & Sigges podcast
141 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,167 Listeners
The Intelligence from The Economist
2,592 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
10,254 Listeners
Tech Won't Save Us
577 Listeners
Dwarkesh Podcast
551 Listeners
Happy Path Programming
14 Listeners
The Rest Is History
15,506 Listeners
Software Unscripted
29 Listeners
Oxide and Friends
67 Listeners
Rust in Production
25 Listeners
The Rest Is Politics: US
2,536 Listeners