Fix line numbering issues due to updating Agda

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-08-18 11:14:09 -10:00
parent 0a90e8da29
commit 6bf7659b19

View File

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