From 7ccbaa7829d1abac6cffc520d654647e9abd4df1 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 9 Aug 2024 06:48:26 -0700 Subject: [PATCH] Make sure all links are consistent Signed-off-by: Danila Fedorin --- content/blog/00_spa_agda_intro.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/00_spa_agda_intro.md b/content/blog/00_spa_agda_intro.md index 9057eda..16fde26 100644 --- a/content/blog/00_spa_agda_intro.md +++ b/content/blog/00_spa_agda_intro.md @@ -97,4 +97,4 @@ Here are the posts that I’ve written so far for this series: * {{< draftlink "Lattices" "01_spa_agda_lattices" >}} * {{< draftlink "Combining Lattices" "02_spa_agda_combining_lattices" >}} * {{< draftlink "Lattices of Finite Height" "03_spa_agda_fixed_height" >}} -* {{< draftlink "Part 4: The Fixed-Point Algorithm" "04_spa_agda_fixedpoint" >}} +* {{< draftlink "The Fixed-Point Algorithm" "04_spa_agda_fixedpoint" >}}