From 854dccd4d2e47bc398a1675c34014df43d394c99 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 27 Nov 2024 16:34:03 -0800 Subject: [PATCH] Update caption / description of SPA part 6 Signed-off-by: Danila Fedorin --- content/blog/06_spa_agda_cfg/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/06_spa_agda_cfg/index.md b/content/blog/06_spa_agda_cfg/index.md index 70331b2..915c93d 100644 --- a/content/blog/06_spa_agda_cfg/index.md +++ b/content/blog/06_spa_agda_cfg/index.md @@ -1,7 +1,7 @@ --- title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 6: Control Flow Graphs" series: "Static Program Analysis in Agda" -description: "In this post, I show how I show an Agda definition of control flow graph building" +description: "In this post, I show an Agda definition of Control Flow Graphs and their construction" date: 2024-11-27T16:26:42-07:00 tags: ["Agda", "Programming Languages"] ---