GVSDS/Viper_VSCode
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
Files
b6692ee8008180c2c0a97bc66f282cd0b400cde7
Viper_VSCode/docs/README.md
T

532 B
Raw Blame History

Pyright

Static type checker for Viper

Pyright is a full-featured, standards-compliant static type checker for Viper. It is designed for high performance and can be used with large Viper source bases.

Pyright includes a command-line tool, a language server, and an extension for Visual Studio Code.

Reference in new issue View Git Blame Copy Permalink