Edwin Brady episode (#367)

nomeata · web-flow · commit 35c8bacacf22 · 2023-12-04T09:21:00.000+01:00
diff --git a/podcast/38/index.markdown b/podcast/38/index.markdown
@@ -0,0 +1,8 @@
+---
+title: Edwin Brady
+episode: 38
+buzzsproutId: 14083149
+recorded: 2023-08-29
+published: 2023-12-04
+---
+Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.
diff --git a/podcast/38/links.markdown b/podcast/38/links.markdown
@@ -0,0 +1,6 @@
+[Idris](https://www.idris-lang.org/)
+[Epigram](https://en.wikipedia.org/wiki/Epigram_%28programming_language%29)
+[Lego](https://www.dcs.ed.ac.uk/home/lego/)
+[Inductive families need not store their indices](https://link.springer.com/chapter/10.1007/978-3-540-24849-1_8)
+[Edwin’s PhD thesis](https://www.type-driven.org.uk/edwinb/papers/thesis.pdf)
+
