plugins.lean.lsp
LSP settings.
Type: null or (attribute set)
Default:
null
Plugin default: { }
Declared by:
plugins.lean.lsp.enable
Whether to enable the Lean language server(s) ?
Set to false
to disable, otherwise should be a table of options to pass to
leanls
.
See https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#leanls
for details.
Type: null or boolean or raw lua code
Default:
null
Plugin default: true
Declared by:
plugins.lean.lsp.init_options
The options to configure the lean language server.
See Lean.Lsp.InitializationOptions
for details.
Type: null or (attribute set of anything)
Default:
null
Declared by:
plugins.lean.lsp.on_attach
The LSP handler.
Type: null or string
Default:
null
Declared by: