From ecf09a42161a44de15d8041366ec0b9feba336ce Mon Sep 17 00:00:00 2001 From: Andrey Mokhov Date: Mon, 13 Feb 2023 11:32:58 +0000 Subject: [PATCH] Fix a typo --- podcast/20/index.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/podcast/20/index.markdown b/podcast/20/index.markdown index 6927a028..793fbfc9 100644 --- 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.