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. -/