Fix a typo

snowleopard · web-flow · commit ecf09a42161a · 2023-02-13T11:32:58.000Z
diff --git a/podcast/20/index.markdown b/podcast/20/index.markdown
@@ -5,4 +5,4 @@ buzzsproutId: 12051036
 recorded: 2022-12-28
 published: 2023-01-16
 ---
-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.
+In this episode Jesper Cockx, one of the main Agda developers, is interviewed 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.
