/vscode

VSCode extension for the polarity programming language

Primary LanguageTypeScriptMIT LicenseMIT

Polarity Language Extension

This plugin provides the language services for polarity-lang. For instructions on how to build the plugin from sources, see the provided documentation in CONTRIBUTING.md.