From 928adbd59498d980702a3d57b0012877a8a05751 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sat, 6 Jul 2024 17:42:53 -0700 Subject: [PATCH] Publish Agda SPA post about lattices Signed-off-by: Danila Fedorin --- content/blog/01_spa_agda_lattices.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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"] ---