diff --git a/content/blog/01_spa_agda_lattices.md b/content/blog/01_spa_agda_lattices.md
index 98e0741..dd66688 100644
--- a/content/blog/01_spa_agda_lattices.md
+++ b/content/blog/01_spa_agda_lattices.md
@@ -2,8 +2,7 @@
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 1: Lattices"
 series: "Static Program Analysis in Agda"
 description: "In this post, I introduce an algebraic structure called a lattice, which underpins certain program analyses"
-date: 2024-05-30T19:36:59-07:00
-draft: true
+date: 2024-07-06T17:37:43-07:00
 tags: ["Agda", "Programming Languages"]
 ---