From ec06cd8308e777c4dcd8c21643e21f8274874431 Mon Sep 17 00:00:00 2001 From: Anton Savienko Date: Thu, 7 Dec 2023 22:25:29 -0700 Subject: [PATCH] hot fix (#3860) --- web/pages/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/pages/index.md b/web/pages/index.md index 1d767391f62..a7497298a11 100644 --- 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 reference implementations and tutorials 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).