summaryrefslogtreecommitdiff
path: root/nvim/lsp/alloy_ls.lua
diff options
context:
space:
mode:
Diffstat (limited to 'nvim/lsp/alloy_ls.lua')
-rwxr-xr-xnvim/lsp/alloy_ls.lua28
1 files changed, 28 insertions, 0 deletions
diff --git a/nvim/lsp/alloy_ls.lua b/nvim/lsp/alloy_ls.lua
new file mode 100755
index 0000000..e1fe24e
--- /dev/null
+++ b/nvim/lsp/alloy_ls.lua
@@ -0,0 +1,28 @@
+---@brief
+---
+--- https://github.com/AlloyTools/org.alloytools.alloy
+---
+--- Alloy is a formal specification language for describing structures and a tool for exploring them.
+---
+--- You may also need to configure the filetype for Alloy (*.als) files:
+---
+--- ```
+--- autocmd BufNewFile,BufRead *.als set filetype=alloy
+--- ```
+---
+--- or
+---
+--- ```lua
+--- vim.filetype.add({
+--- pattern = {
+--- ['.*/*.als'] = 'alloy',
+--- },
+--- })
+--- ```
+---
+--- Alternatively, you may use a syntax plugin like https://github.com/runoshun/vim-alloy.
+return {
+ cmd = { 'alloy', 'lsp' },
+ filetypes = { 'alloy' },
+ root_markers = { '.git' },
+}