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. |