Files
Viper_VSCode/docs
..
2026-07-24 17:08:39 +08:00
2026-07-24 17:08:39 +08:00
2026-07-24 17:08:39 +08:00
2026-07-24 17:08:39 +08:00
2026-07-24 17:08:39 +08:00
2026-07-24 17:08:39 +08:00

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.