From 07859cd1af0dd0f4a17a0277af4000ba70bc8a26 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 27 Nov 2024 16:30:13 -0800 Subject: [PATCH] Publish SPA part 6, for real this time Signed-off-by: Danila Fedorin --- content/blog/06_spa_agda_cfg/index.md | 1 - 1 file changed, 1 deletion(-) diff --git a/content/blog/06_spa_agda_cfg/index.md b/content/blog/06_spa_agda_cfg/index.md index d904313..70331b2 100644 --- a/content/blog/06_spa_agda_cfg/index.md +++ b/content/blog/06_spa_agda_cfg/index.md @@ -4,7 +4,6 @@ series: "Static Program Analysis in Agda" description: "In this post, I show how I show an Agda definition of control flow graph building" date: 2024-11-27T16:26:42-07:00 tags: ["Agda", "Programming Languages"] -draft: true --- In the previous section, I've given a formal definition of the programming