From 04ebf034cc9233499d63bcefc703b00e2a348213 Mon Sep 17 00:00:00 2001
From: Anton Savienko <asavienko@gmail.com>
Date: Thu, 7 Dec 2023 14:29:18 -0700
Subject: [PATCH] hot fix (#3857)

---
 web/pages/index.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/pages/index.md b/web/pages/index.md
index 07fd8c62480..1d767391f62 100644
--- a/web/pages/index.md
+++ b/web/pages/index.md
@@ -40,6 +40,7 @@ call/cc.
 
 ## Resources
 
+- K Approach and Vision: [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).