From 6048dc0b9c832e81397f95e04ae5c7325b9a0fe6 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 25 Dec 2024 19:07:26 -0800 Subject: [PATCH] Mark SPA series as completed Signed-off-by: Danila Fedorin --- content/series/static-program-analysis-in-agda/_index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/series/static-program-analysis-in-agda/_index.md b/content/series/static-program-analysis-in-agda/_index.md index 32bceff..90ab60e 100644 --- a/content/series/static-program-analysis-in-agda/_index.md +++ b/content/series/static-program-analysis-in-agda/_index.md @@ -6,6 +6,6 @@ summary = """ in Agda. The goal is to have a formally verified, yet executable, static analyzer for a simple language. """ -status = "ongoing" +status = "complete" divider = ": " +++