 | F* Syntax HighlightingF* syntax highlighting for Visual Studio Code Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
language-fstarFeaturesSimple F* syntax highlighting. Known IssuesNo known issues as of now. Release Notes1.0.0Initial release of F* Syntax Highlighting CreditAll credit goes to atom-fstar, the grammar files of which I merely copied and converted to a compatible format. |