new/audio/tech/TypeTheoryForAll/.downloaded

   1 guid https://www.typetheoryforall.com/2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html
   2 url https://www.typetheoryforall.com/episodes/episode18.mp3
   3 guid https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html
   4 url https://www.typetheoryforall.com/episodes/episode17.mp3
   5 guid https://www.typetheoryforall.com/2022/04/02/16-Agda,-K-Axiom,-HoTT,-Rewrite-Theory-(Jesper-Cockx).html
   6 url https://www.typetheoryforall.com/episodes/episode16.mp3
   7 guid https://www.typetheoryforall.com/2022/03/27/15-Coq-Projects,-Agda,-Idris,-Kind-(Nitin-and-Eric).html
   8 url https://www.typetheoryforall.com/episodes/episode15.mp3
   9 guid https://www.typetheoryforall.com/2022/02/12/14-Parametricity,-Scala,-Dependent-Object-Types-(Nitin-and-Eric).html
  10 url https://www.typetheoryforall.com/episodes/episode14.mp3
  11 guid https://www.typetheoryforall.com/2021/12/23/13-C-C++,-Emacs,-Haskell,-and-Coq,-The-Journey-(John-Wiegley).html
  12 url https://www.typetheoryforall.com/episodes/episode13.mp3
  13 guid https://www.typetheoryforall.com/2021/11/10/12-Tenure,-Sexism-and-ADHD-(Talia-Ringer).html
  14 url https://www.typetheoryforall.com/episodes/episode12.mp3
  15 guid https://www.typetheoryforall.com/2021/10/04/11-FP,-Monads,-GHC,-and-beyond-(Alejandro-Serrano).html
  16 url https://www.typetheoryforall.com/episodes/episode11.mp3
  17 guid https://www.typetheoryforall.com/2021/07/14/10-Classical-Logic-Vs-Intuitionistic-Logic-(Thorsten-Altenkirch-and-Anupam-Das).html
  18 url https://www.typetheoryforall.com/episodes/episode10.mp3
  19 guid https://www.typetheoryforall.com/2021/05/28/9-Logic-And-Proof-Theory-(Anupam-Das).html
  20 url https://www.typetheoryforall.com/episodes/episode9.mp3
  21 guid https://www.typetheoryforall.com/2021/05/10/8-Cedille-(Chris-Jenkins).html
  22 url https://www.typetheoryforall.com/episodes/episode8.mp3
  23 guid https://www.typetheoryforall.com/2021/04/15/7-Hacking-Isabelle-Internals-(Daniel-Matichuk).html
  24 url https://www.typetheoryforall.com/episodes/episode7.mp3
  25 guid https://www.typetheoryforall.com/2021/03/29/6-All-The-Dumb-Questions-On-Gradual-Types-(Zeina-Migeed).html
  26 url https://www.typetheoryforall.com/episodes/episode6.mp3
  27 guid https://www.typetheoryforall.com/2021/02/27/5-The-History-Of-CoqArt-Yves-Bertot.html
  28 url https://www.typetheoryforall.com/episodes/episode5.mp3
  29 guid https://www.typetheoryforall.com/2021/02/15/4-PL-Projects-And-Companies-(Eric-Bond).html
  30 url https://www.typetheoryforall.com/episodes/episode4.mp3
  31 guid https://www.typetheoryforall.com/2021/02/01/3-ML-In-PL-and-Mental-Health-(Dan-Zheng).html
  32 url https://www.typetheoryforall.com/episodes/episode3.mp3
  33 guid https://www.typetheoryforall.com/2021/01/10/2-Grad-School-Life-(Rajan-Walia-and-John-Sarracino).html
  34 url https://www.typetheoryforall.com/episodes/episode2.mp3
  35 guid https://www.typetheoryforall.com/2020/12/23/1-What-Is-PL-Research.html
  36 url https://www.typetheoryforall.com/episodes/episode1.mp3
  37 guid https://www.typetheoryforall.com/2020/12/14/0-PL-Internships.html
  38 url https://www.typetheoryforall.com/episodes/episode0.mp3
  39 guid https://www.typetheoryforall.com/2022/06/04/19-Experience-Report-Learning-Coq.html
  40 url https://www.typetheoryforall.com/episodes/episode19.mp3
  41 guid https://www.typetheoryforall.com/2022/06/27/20-Dan-Ghica.html
  42 url https://www.typetheoryforall.com/episodes/episode20.mp3
  43 guid https://www.typetheoryforall.com/2022/08/04/21-Conal-Eliott-2.html
  44 url https://www.typetheoryforall.com/episodes/episode21.mp3
  45 guid https://www.typetheoryforall.com/2022/08/12/22-Cody-Roux-2.html
  46 url https://www.typetheoryforall.com/episodes/episode22.mp3
  47 guid https://www.typetheoryforall.com/2022/09/23/23-SIGPLAN.html
  48 url https://www.typetheoryforall.com/episodes/episode23.mp3
  49 guid https://www.typetheoryforall.com/2022/10/06/24-Larry-Paulson.html
  50 url https://www.typetheoryforall.com/episodes/episode24.mp3
  51 guid https://www.typetheoryforall.com/2022/11/21/24-Formal-Land.html
  52 url https://www.typetheoryforall.com/episodes/episode25.mp3
  53 guid https://www.typetheoryforall.com/2023/01/16/26-Kevin-Buzzard.html
  54 url https://www.typetheoryforall.com/episodes/episode26.mp3
  55 guid https://www.typetheoryforall.com/2023/02/04/27-Gerwin-Klein.html
  56 url https://www.typetheoryforall.com/episodes/episode27.mp3
  57 guid https://www.typetheoryforall.com/2023/02/15/28-Pruvendo.html
  58 url https://www.typetheoryforall.com/episodes/episode28.mp3
  59 guid https://www.typetheoryforall.com//2023/02/15/28-Pruvendo.html
  60 url https://www.typetheoryforall.com//episodes/episode28.mp3
  61 guid https://www.typetheoryforall.com//2023/02/04/27-Gerwin-Klein.html
  62 url https://www.typetheoryforall.com//episodes/episode27.mp3
  63 guid https://www.typetheoryforall.com//2023/01/16/26-Kevin-Buzzard.html
  64 url https://www.typetheoryforall.com//episodes/episode26.mp3
  65 guid https://www.typetheoryforall.com//2022/11/21/24-Formal-Land.html
  66 url https://www.typetheoryforall.com//episodes/episode25.mp3
  67 guid https://www.typetheoryforall.com//2022/10/06/24-Larry-Paulson.html
  68 url https://www.typetheoryforall.com//episodes/episode24.mp3
  69 guid https://www.typetheoryforall.com//2022/09/23/23-SIGPLAN.html
  70 url https://www.typetheoryforall.com//episodes/episode23.mp3
  71 guid https://www.typetheoryforall.com//2022/08/12/22-Cody-Roux-2.html
  72 url https://www.typetheoryforall.com//episodes/episode22.mp3
  73 guid https://www.typetheoryforall.com//2022/08/04/21-Conal-Eliott-2.html
  74 url https://www.typetheoryforall.com//episodes/episode21.mp3
  75 guid https://www.typetheoryforall.com//2022/06/27/20-Dan-Ghica.html
  76 url https://www.typetheoryforall.com//episodes/episode20.mp3
  77 guid https://www.typetheoryforall.com//2022/06/04/19-Experience-Report-Learning-Coq.html
  78 url https://www.typetheoryforall.com//episodes/episode19.mp3
  79 guid https://www.typetheoryforall.com//2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html
  80 url https://www.typetheoryforall.com//episodes/episode18.mp3
  81 guid https://www.typetheoryforall.com//2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html
  82 url https://www.typetheoryforall.com//episodes/episode17.mp3
  83 guid https://www.typetheoryforall.com//2022/04/02/16-Agda,-K-Axiom,-HoTT,-Rewrite-Theory-(Jesper-Cockx).html
  84 url https://www.typetheoryforall.com//episodes/episode16.mp3
  85 guid https://www.typetheoryforall.com//2022/03/27/15-Coq-Projects,-Agda,-Idris,-Kind-(Nitin-and-Eric).html
  86 url https://www.typetheoryforall.com//episodes/episode15.mp3
  87 guid https://www.typetheoryforall.com//2022/02/12/14-Parametricity,-Scala,-Dependent-Object-Types-(Nitin-and-Eric).html
  88 url https://www.typetheoryforall.com//episodes/episode14.mp3
  89 guid https://www.typetheoryforall.com//2021/12/23/13-C-C++,-Emacs,-Haskell,-and-Coq,-The-Journey-(John-Wiegley).html
  90 url https://www.typetheoryforall.com//episodes/episode13.mp3
  91 guid https://www.typetheoryforall.com//2021/11/10/12-Tenure,-Sexism-and-ADHD-(Talia-Ringer).html
  92 url https://www.typetheoryforall.com//episodes/episode12.mp3
  93 guid https://www.typetheoryforall.com//2021/10/04/11-FP,-Monads,-GHC,-and-beyond-(Alejandro-Serrano).html
  94 url https://www.typetheoryforall.com//episodes/episode11.mp3
  95 guid https://www.typetheoryforall.com//2021/07/14/10-Classical-Logic-Vs-Intuitionistic-Logic-(Thorsten-Altenkirch-and-Anupam-Das).html
  96 url https://www.typetheoryforall.com//episodes/episode10.mp3
  97 guid https://www.typetheoryforall.com//2021/05/28/9-Logic-And-Proof-Theory-(Anupam-Das).html
  98 url https://www.typetheoryforall.com//episodes/episode9.mp3
  99 guid https://www.typetheoryforall.com//2021/05/10/8-Cedille-(Chris-Jenkins).html
 100 url https://www.typetheoryforall.com//episodes/episode8.mp3
 101 guid https://www.typetheoryforall.com//2021/04/15/7-Hacking-Isabelle-Internals-(Daniel-Matichuk).html
 102 url https://www.typetheoryforall.com//episodes/episode7.mp3
 103 guid https://www.typetheoryforall.com//2021/03/29/6-All-The-Dumb-Questions-On-Gradual-Types-(Zeina-Migeed).html
 104 url https://www.typetheoryforall.com//episodes/episode6.mp3
 105 guid https://www.typetheoryforall.com//2021/02/27/5-The-History-Of-CoqArt-Yves-Bertot.html
 106 url https://www.typetheoryforall.com//episodes/episode5.mp3
 107 guid https://www.typetheoryforall.com//2021/02/15/4-PL-Projects-And-Companies-(Eric-Bond).html
 108 url https://www.typetheoryforall.com//episodes/episode4.mp3
 109 guid https://www.typetheoryforall.com//2021/02/01/3-ML-In-PL-and-Mental-Health-(Dan-Zheng).html
 110 url https://www.typetheoryforall.com//episodes/episode3.mp3
 111 guid https://www.typetheoryforall.com//2021/01/10/2-Grad-School-Life-(Rajan-Walia-and-John-Sarracino).html
 112 url https://www.typetheoryforall.com//episodes/episode2.mp3
 113 guid https://www.typetheoryforall.com//2020/12/23/1-What-Is-PL-Research.html
 114 url https://www.typetheoryforall.com//episodes/episode1.mp3
 115 guid https://www.typetheoryforall.com//2020/12/14/0-PL-Internships.html
 116 url https://www.typetheoryforall.com//episodes/episode0.mp3