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" >}}