From 4a89c0329ca67d75bab79add4da4896fe73d116f Mon Sep 17 00:00:00 2001 From: asavienko Date: Thu, 7 Dec 2023 16:16:11 -0800 Subject: [PATCH] hot fix --- 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).