From 9b93582d1845e78b055638365c5d3c8ca7cabd8f Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 3 Nov 2024 17:59:37 -0800 Subject: [PATCH] Fix meta description on part 4 of SPA --- content/blog/04_spa_agda_fixedpoint.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/04_spa_agda_fixedpoint.md b/content/blog/04_spa_agda_fixedpoint.md index 0f69789..b12fc5b 100644 --- a/content/blog/04_spa_agda_fixedpoint.md +++ b/content/blog/04_spa_agda_fixedpoint.md @@ -1,7 +1,7 @@ --- title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 4: The Fixed-Point Algorithm" series: "Static Program Analysis in Agda" -description: "In this post, I give a top-level overview of my work on formally verified static analyses" +description: "In this post, I show how to find the least fixed point of a finite-height lattice" date: 2024-11-03T17:50:26-08:00 tags: ["Agda", "Programming Languages"] ---