From 0b17a54e1646f8bc6a4e845de2f92109dd108652 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20S=C3=A1enz?= Date: Sat, 5 Apr 2025 20:00:14 +0200 Subject: [PATCH] README: fixes Haskell eXchange talk link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index dadebffb..1af0e687 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,7 @@ An [Agda][typed-protocols-agda] implementation by Marcin Szamotulski (@coot). [protocol-pipelining]: https://www.wikiwand.com/en/Protocol_pipelining -[haskell-eXchange]: https://skillsmatter.com/skillscasts/14633-45-minute-talk-by-duncan-coutts +[haskell-eXchange]: https://www.youtube.com/watch?v=kkynmgwa7gE [monadic-party-part-1]: https://www.youtube.com/watch?v=j8gza2L61nM [monadic-party-part-2]: https://www.youtube.com/watch?v=oV6KSl1srL8 [monadic-party-part-3]: https://www.youtube.com/watch?v=nOIQCRPwmPA