Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add series navigation before appendix

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-06-19 22:04:01 -07:00
parent a9da39b987
commit 0bf3facf6c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/blog/02_spa_agda_combining_lattices.md
View File

@ -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; 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. we'll talk about it in more detail in the next post of this series.
{{< seriesnav >}}
### Appendix: Proof of Uniqueness of Keys ### Appendix: Proof of Uniqueness of Keys
I will provide sketches of the proofs here, and omit the implementations I will provide sketches of the proofs here, and omit the implementations