2 changed files with 1 additions and 3 deletions
--- a/content/blog/02_spa_agda_combining_lattices.md
+++ b/content/blog/02_spa_agda_combining_lattices.md
@ -449,8 +449,6 @@ The same is true for maps, under certain conditions.
 The finite-height property is crucial to lattice-based static program analysis;
 we'll talk about it in more detail in the next post of this series.

-{{< seriesnav >}}
-
 ### Appendix: Proof of Uniqueness of Keys

 I will provide sketches of the proofs here, and omit the implementations
--- a/themes/vanilla
+++ b/themes/vanilla
@ -1 +1 @@
-Subproject commit f677a3731cfa7624c63b89438f9e9d789798762e
+Subproject commit 25e9057dd8b1ddc571f3b26d80b72e86bbcbaa72