diff --git a/content/series/static-program-analysis-in-agda/_index.md b/content/series/static-program-analysis-in-agda/_index.md
index 32bceff..90ab60e 100644
--- a/content/series/static-program-analysis-in-agda/_index.md
+++ b/content/series/static-program-analysis-in-agda/_index.md
@@ -6,6 +6,6 @@ summary = """
   in Agda. The goal is to have a formally verified, yet executable, static
   analyzer for a simple language.
   """
-status = "ongoing"
+status = "complete"
 divider = ": "
 +++