@informalsystems/quint-language-server
v0.14.9
Published
Language Server for the Quint specification language
Downloads
258
Readme
Quint Language Server
A language server for the Quint specification language.
Installation
Install the latest published version from npm:
npm i @informalsystems/quint-language-server -g
Usage
There are currently three clients for this server:
- The Quint VSCode extension
- The Quint LSP client for Emacs
- A Neovim LSP client
(1) and (2) are capable of downloading and installing this server for you. (3) requires manual installation (for now).