diff --git a/content/blog/06_spa_agda_cfg/index.md b/content/blog/06_spa_agda_cfg/index.md
index d904313..70331b2 100644
--- a/content/blog/06_spa_agda_cfg/index.md
+++ b/content/blog/06_spa_agda_cfg/index.md
@@ -4,7 +4,6 @@ series: "Static Program Analysis in Agda"
 description: "In this post, I show how I show an Agda definition of control flow graph building"
 date: 2024-11-27T16:26:42-07:00
 tags: ["Agda", "Programming Languages"]
-draft: true
 ---
 
 In the previous section, I've given a formal definition of the programming