herd7catSyntax highlighting for herd7's .cat axiomatic memory model language Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
herd7cat READMEVisual Studio Code syntax highlighting mode for the herd7 FeaturesVery basic syntax highlighting. Known IssuesIt's not very good yet. |