From 4017c52fee7ce7703689af0a88731cdb58ff12c1 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Thu, 28 Nov 2024 20:38:18 -0800 Subject: [PATCH] Add a link to the future (not-yet-written) forward analysis post Signed-off-by: Danila Fedorin --- content/blog/00_spa_agda_intro.md | 1 + 1 file changed, 1 insertion(+) diff --git a/content/blog/00_spa_agda_intro.md b/content/blog/00_spa_agda_intro.md index 175f258..601710f 100644 --- a/content/blog/00_spa_agda_intro.md +++ b/content/blog/00_spa_agda_intro.md @@ -106,3 +106,4 @@ Here are the posts that I’ve written so far for this series: * {{< draftlink "Our Programming Language" "05_spa_agda_semantics" >}} * {{< draftlink "Control Flow Graphs" "06_spa_agda_cfg" >}} * {{< draftlink "Connecting Semantics and Control Flow Graphs" "07_spa_agda_semantics_and_cfg" >}} +* {{< draftlink "A Verified Forward Analysis" "08_spa_forward" >}}