guid https://www.typetheoryforall.com/2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html
url https://www.typetheoryforall.com/episodes/episode18.mp3
guid https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html
url https://www.typetheoryforall.com/episodes/episode17.mp3
guid https://www.typetheoryforall.com/2022/04/02/16-Agda,-K-Axiom,-HoTT,-Rewrite-Theory-(Jesper-Cockx).html
url https://www.typetheoryforall.com/episodes/episode16.mp3
guid https://www.typetheoryforall.com/2022/03/27/15-Coq-Projects,-Agda,-Idris,-Kind-(Nitin-and-Eric).html
url https://www.typetheoryforall.com/episodes/episode15.mp3
guid https://www.typetheoryforall.com/2022/02/12/14-Parametricity,-Scala,-Dependent-Object-Types-(Nitin-and-Eric).html
url https://www.typetheoryforall.com/episodes/episode14.mp3
guid https://www.typetheoryforall.com/2021/12/23/13-C-C++,-Emacs,-Haskell,-and-Coq,-The-Journey-(John-Wiegley).html
url https://www.typetheoryforall.com/episodes/episode13.mp3
guid https://www.typetheoryforall.com/2021/11/10/12-Tenure,-Sexism-and-ADHD-(Talia-Ringer).html
url https://www.typetheoryforall.com/episodes/episode12.mp3
guid https://www.typetheoryforall.com/2021/10/04/11-FP,-Monads,-GHC,-and-beyond-(Alejandro-Serrano).html
url https://www.typetheoryforall.com/episodes/episode11.mp3
guid https://www.typetheoryforall.com/2021/07/14/10-Classical-Logic-Vs-Intuitionistic-Logic-(Thorsten-Altenkirch-and-Anupam-Das).html
url https://www.typetheoryforall.com/episodes/episode10.mp3
guid https://www.typetheoryforall.com/2021/05/28/9-Logic-And-Proof-Theory-(Anupam-Das).html
url https://www.typetheoryforall.com/episodes/episode9.mp3
guid https://www.typetheoryforall.com/2021/05/10/8-Cedille-(Chris-Jenkins).html
url https://www.typetheoryforall.com/episodes/episode8.mp3
guid https://www.typetheoryforall.com/2021/04/15/7-Hacking-Isabelle-Internals-(Daniel-Matichuk).html
url https://www.typetheoryforall.com/episodes/episode7.mp3
guid https://www.typetheoryforall.com/2021/03/29/6-All-The-Dumb-Questions-On-Gradual-Types-(Zeina-Migeed).html
url https://www.typetheoryforall.com/episodes/episode6.mp3
guid https://www.typetheoryforall.com/2021/02/27/5-The-History-Of-CoqArt-Yves-Bertot.html
url https://www.typetheoryforall.com/episodes/episode5.mp3
guid https://www.typetheoryforall.com/2021/02/15/4-PL-Projects-And-Companies-(Eric-Bond).html
url https://www.typetheoryforall.com/episodes/episode4.mp3
guid https://www.typetheoryforall.com/2021/02/01/3-ML-In-PL-and-Mental-Health-(Dan-Zheng).html
url https://www.typetheoryforall.com/episodes/episode3.mp3
guid https://www.typetheoryforall.com/2021/01/10/2-Grad-School-Life-(Rajan-Walia-and-John-Sarracino).html
url https://www.typetheoryforall.com/episodes/episode2.mp3
guid https://www.typetheoryforall.com/2020/12/23/1-What-Is-PL-Research.html
url https://www.typetheoryforall.com/episodes/episode1.mp3
guid https://www.typetheoryforall.com/2020/12/14/0-PL-Internships.html
url https://www.typetheoryforall.com/episodes/episode0.mp3
guid https://www.typetheoryforall.com/2022/06/04/19-Experience-Report-Learning-Coq.html
url https://www.typetheoryforall.com/episodes/episode19.mp3
guid https://www.typetheoryforall.com/2022/06/27/20-Dan-Ghica.html
url https://www.typetheoryforall.com/episodes/episode20.mp3
guid https://www.typetheoryforall.com/2022/08/04/21-Conal-Eliott-2.html
url https://www.typetheoryforall.com/episodes/episode21.mp3
guid https://www.typetheoryforall.com/2022/08/12/22-Cody-Roux-2.html
url https://www.typetheoryforall.com/episodes/episode22.mp3
guid https://www.typetheoryforall.com/2022/09/23/23-SIGPLAN.html
url https://www.typetheoryforall.com/episodes/episode23.mp3
guid https://www.typetheoryforall.com/2022/10/06/24-Larry-Paulson.html
url https://www.typetheoryforall.com/episodes/episode24.mp3
guid https://www.typetheoryforall.com/2022/11/21/24-Formal-Land.html
url https://www.typetheoryforall.com/episodes/episode25.mp3
guid https://www.typetheoryforall.com/2023/01/16/26-Kevin-Buzzard.html
url https://www.typetheoryforall.com/episodes/episode26.mp3
guid https://www.typetheoryforall.com/2023/02/04/27-Gerwin-Klein.html
url https://www.typetheoryforall.com/episodes/episode27.mp3
guid https://www.typetheoryforall.com/2023/02/15/28-Pruvendo.html
url https://www.typetheoryforall.com/episodes/episode28.mp3
guid https://www.typetheoryforall.com//2023/02/15/28-Pruvendo.html
url https://www.typetheoryforall.com//episodes/episode28.mp3
guid https://www.typetheoryforall.com//2023/02/04/27-Gerwin-Klein.html
url https://www.typetheoryforall.com//episodes/episode27.mp3
guid https://www.typetheoryforall.com//2023/01/16/26-Kevin-Buzzard.html
url https://www.typetheoryforall.com//episodes/episode26.mp3
guid https://www.typetheoryforall.com//2022/11/21/24-Formal-Land.html
url https://www.typetheoryforall.com//episodes/episode25.mp3
guid https://www.typetheoryforall.com//2022/10/06/24-Larry-Paulson.html
url https://www.typetheoryforall.com//episodes/episode24.mp3
guid https://www.typetheoryforall.com//2022/09/23/23-SIGPLAN.html
url https://www.typetheoryforall.com//episodes/episode23.mp3
guid https://www.typetheoryforall.com//2022/08/12/22-Cody-Roux-2.html
url https://www.typetheoryforall.com//episodes/episode22.mp3
guid https://www.typetheoryforall.com//2022/08/04/21-Conal-Eliott-2.html
url https://www.typetheoryforall.com//episodes/episode21.mp3
guid https://www.typetheoryforall.com//2022/06/27/20-Dan-Ghica.html
url https://www.typetheoryforall.com//episodes/episode20.mp3
guid https://www.typetheoryforall.com//2022/06/04/19-Experience-Report-Learning-Coq.html
url https://www.typetheoryforall.com//episodes/episode19.mp3
guid https://www.typetheoryforall.com//2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html
url https://www.typetheoryforall.com//episodes/episode18.mp3
guid https://www.typetheoryforall.com//2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html
url https://www.typetheoryforall.com//episodes/episode17.mp3
guid https://www.typetheoryforall.com//2022/04/02/16-Agda,-K-Axiom,-HoTT,-Rewrite-Theory-(Jesper-Cockx).html
url https://www.typetheoryforall.com//episodes/episode16.mp3
guid https://www.typetheoryforall.com//2022/03/27/15-Coq-Projects,-Agda,-Idris,-Kind-(Nitin-and-Eric).html
url https://www.typetheoryforall.com//episodes/episode15.mp3
guid https://www.typetheoryforall.com//2022/02/12/14-Parametricity,-Scala,-Dependent-Object-Types-(Nitin-and-Eric).html
url https://www.typetheoryforall.com//episodes/episode14.mp3
guid https://www.typetheoryforall.com//2021/12/23/13-C-C++,-Emacs,-Haskell,-and-Coq,-The-Journey-(John-Wiegley).html
url https://www.typetheoryforall.com//episodes/episode13.mp3
guid https://www.typetheoryforall.com//2021/11/10/12-Tenure,-Sexism-and-ADHD-(Talia-Ringer).html
url https://www.typetheoryforall.com//episodes/episode12.mp3
guid https://www.typetheoryforall.com//2021/10/04/11-FP,-Monads,-GHC,-and-beyond-(Alejandro-Serrano).html
url https://www.typetheoryforall.com//episodes/episode11.mp3
guid https://www.typetheoryforall.com//2021/07/14/10-Classical-Logic-Vs-Intuitionistic-Logic-(Thorsten-Altenkirch-and-Anupam-Das).html
url https://www.typetheoryforall.com//episodes/episode10.mp3
guid https://www.typetheoryforall.com//2021/05/28/9-Logic-And-Proof-Theory-(Anupam-Das).html
url https://www.typetheoryforall.com//episodes/episode9.mp3
guid https://www.typetheoryforall.com//2021/05/10/8-Cedille-(Chris-Jenkins).html
url https://www.typetheoryforall.com//episodes/episode8.mp3
guid https://www.typetheoryforall.com//2021/04/15/7-Hacking-Isabelle-Internals-(Daniel-Matichuk).html
url https://www.typetheoryforall.com//episodes/episode7.mp3
guid https://www.typetheoryforall.com//2021/03/29/6-All-The-Dumb-Questions-On-Gradual-Types-(Zeina-Migeed).html
url https://www.typetheoryforall.com//episodes/episode6.mp3
guid https://www.typetheoryforall.com//2021/02/27/5-The-History-Of-CoqArt-Yves-Bertot.html
url https://www.typetheoryforall.com//episodes/episode5.mp3
guid https://www.typetheoryforall.com//2021/02/15/4-PL-Projects-And-Companies-(Eric-Bond).html
url https://www.typetheoryforall.com//episodes/episode4.mp3
guid https://www.typetheoryforall.com//2021/02/01/3-ML-In-PL-and-Mental-Health-(Dan-Zheng).html
url https://www.typetheoryforall.com//episodes/episode3.mp3
guid https://www.typetheoryforall.com//2021/01/10/2-Grad-School-Life-(Rajan-Walia-and-John-Sarracino).html
url https://www.typetheoryforall.com//episodes/episode2.mp3
guid https://www.typetheoryforall.com//2020/12/23/1-What-Is-PL-Research.html
url https://www.typetheoryforall.com//episodes/episode1.mp3
guid https://www.typetheoryforall.com//2020/12/14/0-PL-Internships.html
url https://www.typetheoryforall.com//episodes/episode0.mp3
guid https://www.typetheoryforall.com//2023/04/09/29-Jimmy-Koppel.html
url https://www.typetheoryforall.com//episodes/episode29.mp3
guid https://www.typetheoryforall.com/2023/04/09/29-Jimmy-Koppel.html
url https://www.typetheoryforall.com/episodes/episode29.mp3
guid https://www.typetheoryforall.com/2023/05/30/30-Dan-Pedro.html
url https://www.typetheoryforall.com/episodes/episode30.mp3
guid https://www.typetheoryforall.com/2023/07/13/31-Jan-de-Muijnck.html
url https://www.typetheoryforall.com/episodes/episode31.mp3
guid https://www.typetheoryforall.com/2023/07/22/32-Jan-de-Muijnck.html
url https://www.typetheoryforall.com/episodes/episode32.mp3
guid https://www.typetheoryforall.com/2023/09/09/33-Leo-de-Moura.html
url https://www.typetheoryforall.com/episodes/episode33.mp3
guid https://www.typetheoryforall.com/2023/10/16/34-Andrew-Marmaduke.html
url https://www.typetheoryforall.com/episodes/episode34.mp3
guid https://www.typetheoryforall.com/2023/12/04/Eduardo-Rafael.html
url https://www.typetheoryforall.com/episodes/episode35.mp3
guid https://www.typetheoryforall.com/2023/12/26/36-Pedro-Abreu.html
url https://www.typetheoryforall.com/episodes/episode36.mp3