From 51bcd116b349ffa9c1cd1b2d6f41fbd87b90c67e Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sat, 6 Jul 2024 17:52:17 -0700 Subject: [PATCH] Update other dates on lattice drafts Signed-off-by: Danila Fedorin --- content/blog/02_spa_agda_combining_lattices.md | 2 +- content/blog/03_spa_agda_fixed_height.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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"] ---