From 6a296ae7820854a54b7b3c4a6a4e8ae554720e3a Mon Sep 17 00:00:00 2001 From: "Curt J. Sampson" Date: Fri, 21 Jun 2024 20:10:03 +0900 Subject: [PATCH] README: Fix link to K Overview video This was doing a relative link outside of the repo (two levels up) to an `overview.md` file. I am guessing that this is probably intending to be the `web/pages/overview.md` from the K repo.[1] That file links to the YouTube URL I've now put in here. [1]: https://github.com/runtimeverification/k.git --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2861177b..6ef70acf 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ Here you will learn how to use the K tool to define languages by means of a seri Make sure you watch the K overview video before you do the K tutorial: -- [9'59"] [K Overview](../../overview.md) +- [9'59"] [K Overview](https://youtu.be/eSaIKHQOo4c) ## Learning K