This is the main repository for the Viper IDE extension for VS Code.
Primary LanguageTypeScriptMozilla Public License 2.0MPL-2.0