From 272c2666c55d0509aabe2772e1151afc23cb358f Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 24 May 2024 13:44:34 -0700 Subject: [PATCH] Inconsequential tweak to test Agda caching in build system Signed-off-by: Danila Fedorin --- content/blog/02_spa_agda_combining_lattices.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/02_spa_agda_combining_lattices.md b/content/blog/02_spa_agda_combining_lattices.md index af43f97..dc42ca4 100644 --- a/content/blog/02_spa_agda_combining_lattices.md +++ b/content/blog/02_spa_agda_combining_lattices.md @@ -1,7 +1,7 @@ --- title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 2: Combining Lattices" series: "Static Program Analysis in Agda" -date: 2024-04-13T14:23:03-07:01 +date: 2024-04-13T14:23:03-07:02 draft: true tags: ["Agda", "Programming Languages"] ---