From 0bf3facf6c2b1c571d8bd8fc9f808a136291fb80 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 19 Jun 2024 22:04:01 -0700 Subject: [PATCH] Add series navigation before appendix Signed-off-by: Danila Fedorin --- content/blog/02_spa_agda_combining_lattices.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/content/blog/02_spa_agda_combining_lattices.md b/content/blog/02_spa_agda_combining_lattices.md index 70454e0..bdc82ec 100644 --- a/content/blog/02_spa_agda_combining_lattices.md +++ b/content/blog/02_spa_agda_combining_lattices.md @@ -449,6 +449,8 @@ 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