From 82dbca6bda2e00bb9d96ffa304f0eeda54e7cc04 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?= Date: Tue, 25 Jun 2024 08:27:18 +0000 Subject: [PATCH] Add link to pyk docs to ToC page --- web/toc.md | 1 + 1 file changed, 1 insertion(+) diff --git a/web/toc.md b/web/toc.md index 2c458b00ac4..9eda3761ec2 100644 --- a/web/toc.md +++ b/web/toc.md @@ -17,6 +17,7 @@ output: - [Homepage](/web/pages/index.md) - [Install K](https://github.com/runtimeverification/k/releases/latest) +- [Pyk Documentation](https://kframework.org/pyk) - [K Tutorial](/k-distribution/k-tutorial/README.md) - [Section 1: Basic K Concepts](/k-distribution/k-tutorial/1_basic/README.md) - [Lesson 1.1: Setting up a K Environment](/k-distribution/k-tutorial/1_basic/01_installing/README.md)