From 6bf7659b19ac7b701abec401234dc67479f3a8ec Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 18 Aug 2024 11:14:09 -1000 Subject: [PATCH] Fix line numbering issues due to updating Agda Signed-off-by: Danila Fedorin --- content/blog/01_spa_agda_lattices.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/01_spa_agda_lattices.md b/content/blog/01_spa_agda_lattices.md index dd66688..1006449 100644 --- a/content/blog/01_spa_agda_lattices.md +++ b/content/blog/01_spa_agda_lattices.md @@ -342,7 +342,7 @@ the _absorption laws_: In Agda, we can therefore write a lattice as follows: -{{< codelines "Agda" "agda-spa/Lattice.agda" 153 163 >}} +{{< codelines "Agda" "agda-spa/Lattice.agda" 183 193 >}} ### Concrete Examples #### Natural Numbers