Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 8, 2023 · 722369b · 722369b
2 parents bad3405 + ec06cd8
commit 722369b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/pages/index.md b/web/pages/index.md
@@ -40,7 +40,7 @@ call/cc.
 
 ## Resources
 
-- K Approach and Vision: [slide presentation](https://drive.google.com/file/d/1iXda2NyGzKVWxkd02IlXj5Tq5cOM_gNd/view)
+- K Approach and Vision (2020): [slide presentation](https://drive.google.com/file/d/1iXda2NyGzKVWxkd02IlXj5Tq5cOM_gNd/view)
 - A set of <a href="/k-distribution/pl-tutorial/README.md">reference implementations and tutorials</a> for common programming language features and paradigms is available, although parts of these implementations may not be fully up to date with modern K features.
 - Read some papers about K on the [Formal Systems Laboratory (FSL)](https://fsl.cs.illinois.edu/publications/).
 - [Matching logic](http://matching-logic.org/) webpage at UIUC (USA).