Kind LanguageSyntax highlighting for the Kind language Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
Formality syntax highlightCovers basic syntax highlight as numbers, punctuation, comment and keywords. A syntax highlight for Kind Language, a cute proof and programming language. |