K

K for Visual Studio Code

Welcome to the K extension for Visual Studio Code!

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

• Documentation
• Tutorial

Snippets

Using custom "start" and generic "syntax" snippets

Using custom "tag" and generic "configuration" snippets

Grammar

Made with VSC