README.md
February 28, 2023 ยท View on GitHub
K for Visual Studio Code
Welcome to the K extension for Visual Studio Code!
Please note this extension is no longer maintained and deprecated.
Please install the official K extension here: https://marketplace.visualstudio.com/items?itemName=RuntimeVerification.k-vscode
Features
This extension includes:
- Colorization, Grammar and Snippets
- K framework is an open source project and you can view the source code here: https://github.com/kframework
Get Started Writing K in VS Code
Snippets
Using custom "start" and generic "syntax" snippets
Using custom "tag" and generic "configuration" snippets
Grammar
Made with VSC