From 3a579c055557d13c466583e60a02d4206b7136df Mon Sep 17 00:00:00 2001 From: Fraser Tweedale Date: Wed, 18 Jun 2025 00:09:05 +1000 Subject: [PATCH] fix a typo in podcast 51 transcript --- podcast/51/transcript.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/podcast/51/transcript.markdown b/podcast/51/transcript.markdown index 5efa1591..b8cccadc 100644 --- a/podcast/51/transcript.markdown +++ b/podcast/51/transcript.markdown @@ -2,7 +2,7 @@ *Joachim Breitner (0:00:18)*: And I’m Joachim Breitner. -*NV (0:00:19)*: And our guest today is Victor Miraldo. Victor fell in love with Haskell when foldr clicked, and later with Agda, when Haskell’s type system was not expressed enough. He introduced Agda to Oracle Labs, generically diff data structure for his PhD, and tested smart contracts until they made him use Rust. Today, he will tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that software engineering could be less like alchemy.  +*NV (0:00:19)*: And our guest today is Victor Miraldo. Victor fell in love with Haskell when foldr clicked, and later with Agda, when Haskell’s type system was not expressive enough. He introduced Agda to Oracle Labs, generically diff data structure for his PhD, and tested smart contracts until they made him use Rust. Today, he will tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that software engineering could be less like alchemy.  Hello, Victor. Great to have you at the show.