From 711b01175d8df799a7bd4786808fbf72669bfbd0 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 24 May 2024 23:12:27 -0700 Subject: [PATCH] Put the number back to what it was Signed-off-by: Danila Fedorin --- content/blog/02_spa_agda_combining_lattices.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/02_spa_agda_combining_lattices.md b/content/blog/02_spa_agda_combining_lattices.md index dc42ca4..af43f97 100644 --- a/content/blog/02_spa_agda_combining_lattices.md +++ b/content/blog/02_spa_agda_combining_lattices.md @@ -1,7 +1,7 @@ --- title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 2: Combining Lattices" series: "Static Program Analysis in Agda" -date: 2024-04-13T14:23:03-07:02 +date: 2024-04-13T14:23:03-07:01 draft: true tags: ["Agda", "Programming Languages"] ---