Neovim Plugin for Polarity

A simple Neovim plugin for the Polarity language.

This plugin provides basic syntax highlighting and sets up the LSP server for Polarity source files.

Installation

You need to have the pol binary available (or set a custom path in the plugin configuration).

Use your preferred plugin manager to install "polarity-lang/neovim".

Here's an example for the lazy.nvim plugin manager:

{
    "polarity-lang/neovim",
    ft = "polarity",

    -- This is the default configuration
    opts = {
        lsp = {
            enable = true,
            server = {
                cmd = { "pol", "lsp" },
                settings = {},
                on_attach = nil,
            },
        },
        auto_format = false,
    },
}

LSP configuration

This plugin uses Neovim's builtin vim.lsp.config API. Therefore, Neovim version 0.11+ is needed.