Make sure all links are consistent
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
parent
7817c9a4ce
commit
7ccbaa7829
|
@ -97,4 +97,4 @@ Here are the posts that I’ve written so far for this series:
|
|||
* {{< draftlink "Lattices" "01_spa_agda_lattices" >}}
|
||||
* {{< draftlink "Combining Lattices" "02_spa_agda_combining_lattices" >}}
|
||||
* {{< draftlink "Lattices of Finite Height" "03_spa_agda_fixed_height" >}}
|
||||
* {{< draftlink "Part 4: The Fixed-Point Algorithm" "04_spa_agda_fixedpoint" >}}
|
||||
* {{< draftlink "The Fixed-Point Algorithm" "04_spa_agda_fixedpoint" >}}
|
||||
|
|
Loading…
Reference in New Issue
Block a user