diff --git a/content/blog/02_spa_agda_combining_lattices.md b/content/blog/02_spa_agda_combining_lattices.md
index 4412a17..4286d55 100644
--- a/content/blog/02_spa_agda_combining_lattices.md
+++ b/content/blog/02_spa_agda_combining_lattices.md
@@ -2,7 +2,7 @@
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 2: Combining Lattices"
 series: "Static Program Analysis in Agda"
 description: "In this post, I describe how lattices can be combined to create other, more complex lattices"
-date: 2024-05-30T19:37:00-07:00
+date: 2024-07-06T17:37:44-07:00
 draft: true
 tags: ["Agda", "Programming Languages"]
 ---
diff --git a/content/blog/03_spa_agda_fixed_height.md b/content/blog/03_spa_agda_fixed_height.md
index d120290..ca70421 100644
--- a/content/blog/03_spa_agda_fixed_height.md
+++ b/content/blog/03_spa_agda_fixed_height.md
@@ -2,7 +2,7 @@
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 3: Lattices of Finite Height"
 series: "Static Program Analysis in Agda"
 description: "In this post, I describe the class of finite-height lattices, and prove that lattices we've alread seen are in that class"
-date: 2024-05-30T19:37:01-07:00
+date: 2024-07-06T17:37:45-07:00
 draft: true
 tags: ["Agda", "Programming Languages"]
 ---