This VSCode extension provides language support for the Raven language and verifier.
- Syntax highlighting
- Diagnostics via integration of the Raven verifier
Run
$ npm install
$ npx @vscode/vsce package
$ code --install-extension raven-1.0.0.vsixThis VSCode extension provides language support for the Raven language and verifier.
Run
$ npm install
$ npx @vscode/vsce package
$ code --install-extension raven-1.0.0.vsix