Update the blog for series navigation

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

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
 ---
 

content/series/a-language-for-an-assignment/_index.md

@@ -7,4 +7,5 @@ summary = """
   using Haskell, and translate to Python.
   """
 status = "suspended"
+divider = " - "
 +++

content/series/advent-of-code-in-coq/_index.md

@@ -6,4 +6,5 @@ summary = """
   formally prove that the solution is correct.
   """
 status = "suspended"
+divider = " - "
 +++

content/series/compiling-a-functional-language-using-c++/_index.md

@@ -8,4 +8,5 @@ summary = """
   polymorphism.
   """
 status = "complete"
+divider = " - "
 +++

content/series/everything-i-know-about-types/_index.md

@@ -7,4 +7,5 @@ summary = """
   """
 status = "ongoing"
 draft = true
+divider = ": "
 +++

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 = ", "
 +++

content/series/static-program-analysis-in-agda/_index.md

@@ -8,4 +8,5 @@ summary = """
   """
 status = "ongoing"
 draft = true
+divider = ": "
 +++

themes/vanilla

@@ -1 +1 @@
-Subproject commit f3bf27d4a119fc15d7739195610fadce6b5add26
+Subproject commit 00431109ac518c0ab411d770b7678b45ffa7f6bd