From 78bba7a0e98895e4c0d6c9cf94a3bc992e67cbd6 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 20 May 2024 00:37:16 -0700 Subject: [PATCH] Update the blog for series navigation Signed-off-by: Danila Fedorin --- content/blog/01_spa_agda_lattices.md | 2 +- content/series/a-language-for-an-assignment/_index.md | 1 + content/series/advent-of-code-in-coq/_index.md | 1 + .../series/compiling-a-functional-language-using-c++/_index.md | 1 + content/series/everything-i-know-about-types/_index.md | 1 + .../meaningfully-typechecking-a-language-in-idris/_index.md | 1 + content/series/static-program-analysis-in-agda/_index.md | 1 + themes/vanilla | 2 +- 8 files changed, 8 insertions(+), 2 deletions(-) diff --git a/content/blog/01_spa_agda_lattices.md b/content/blog/01_spa_agda_lattices.md index 5535d98..580a0fe 100644 --- a/content/blog/01_spa_agda_lattices.md +++ b/content/blog/01_spa_agda_lattices.md @@ -1,7 +1,7 @@ --- title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 1: Lattices" series: "Static Program Analysis in Agda" -date: 2024-04-12T14:23:03-07:00 +date: 2024-04-13T14:23:03-07:00 draft: true --- diff --git a/content/series/a-language-for-an-assignment/_index.md b/content/series/a-language-for-an-assignment/_index.md index c85afa2..416f13d 100644 --- a/content/series/a-language-for-an-assignment/_index.md +++ b/content/series/a-language-for-an-assignment/_index.md @@ -7,4 +7,5 @@ summary = """ using Haskell, and translate to Python. """ status = "suspended" +divider = " - " +++ diff --git a/content/series/advent-of-code-in-coq/_index.md b/content/series/advent-of-code-in-coq/_index.md index bb6b039..785e85e 100644 --- a/content/series/advent-of-code-in-coq/_index.md +++ b/content/series/advent-of-code-in-coq/_index.md @@ -6,4 +6,5 @@ summary = """ formally prove that the solution is correct. """ status = "suspended" +divider = " - " +++ diff --git a/content/series/compiling-a-functional-language-using-c++/_index.md b/content/series/compiling-a-functional-language-using-c++/_index.md index 3a4f701..4cc674f 100644 --- a/content/series/compiling-a-functional-language-using-c++/_index.md +++ b/content/series/compiling-a-functional-language-using-c++/_index.md @@ -8,4 +8,5 @@ summary = """ polymorphism. """ status = "complete" +divider = " - " +++ diff --git a/content/series/everything-i-know-about-types/_index.md b/content/series/everything-i-know-about-types/_index.md index 02349d9..a28ff02 100644 --- a/content/series/everything-i-know-about-types/_index.md +++ b/content/series/everything-i-know-about-types/_index.md @@ -7,4 +7,5 @@ summary = """ """ status = "ongoing" draft = true +divider = ": " +++ diff --git a/content/series/meaningfully-typechecking-a-language-in-idris/_index.md b/content/series/meaningfully-typechecking-a-language-in-idris/_index.md index 32a7981..1e4b787 100644 --- a/content/series/meaningfully-typechecking-a-language-in-idris/_index.md +++ b/content/series/meaningfully-typechecking-a-language-in-idris/_index.md @@ -8,4 +8,5 @@ summary = """ doesn't have to worry about checking for type errors. """ status = "complete" +divider = ", " +++ diff --git a/content/series/static-program-analysis-in-agda/_index.md b/content/series/static-program-analysis-in-agda/_index.md index 59cefac..e5fe242 100644 --- a/content/series/static-program-analysis-in-agda/_index.md +++ b/content/series/static-program-analysis-in-agda/_index.md @@ -8,4 +8,5 @@ summary = """ """ status = "ongoing" draft = true +divider = ": " +++ diff --git a/themes/vanilla b/themes/vanilla index f3bf27d..0043110 160000 --- a/themes/vanilla +++ b/themes/vanilla @@ -1 +1 @@ -Subproject commit f3bf27d4a119fc15d7739195610fadce6b5add26 +Subproject commit 00431109ac518c0ab411d770b7678b45ffa7f6bd