From a4fbbbc880a1b597c4cf10f03d18884254af0917 Mon Sep 17 00:00:00 2001 From: Christopher Lang Date: Tue, 30 Dec 2025 19:04:55 +0000 Subject: [PATCH] Fix broken link to free monad tutorial --- CslibTests/FreeMonad.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CslibTests/FreeMonad.lean b/CslibTests/FreeMonad.lean index 1de79e42..0b25b4cd 100644 --- a/CslibTests/FreeMonad.lean +++ b/CslibTests/FreeMonad.lean @@ -43,7 +43,7 @@ clean separation between syntax and semantics, enabling multiple interpretations ## References -Based on "[Tutorial: A Verified Interpreter with Side Effects](https://tannerduve.github.io/blog/freer-monad/part4/)" demonstrating practical +Based on "[Tutorial: A Verified Interpreter with Side Effects](https://tannerduve.github.io/blog/2025/freer-monad-part4/)" demonstrating practical applications of the mathematical theory developed in the core Free monad files. -/