language-fstar
December 25, 2018 ยท View on GitHub
Features
Simple F* syntax highlighting.
Known Issues
No known issues as of now.
Release Notes
1.0.0
Initial release of F* Syntax Highlighting
Credit
All credit goes to atom-fstar, the grammar files of which I merely copied and converted to a compatible format.