From ecad4541f61cab2e99afc2bb572af11102375121 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Thu, 8 Aug 2024 16:44:48 -0700 Subject: [PATCH] Add a (not-yet-valid) link to part 4 Signed-off-by: Danila Fedorin --- content/blog/00_spa_agda_intro.md | 1 + 1 file changed, 1 insertion(+) diff --git a/content/blog/00_spa_agda_intro.md b/content/blog/00_spa_agda_intro.md index 088a487..9057eda 100644 --- a/content/blog/00_spa_agda_intro.md +++ b/content/blog/00_spa_agda_intro.md @@ -97,3 +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" >}}