Update coq.nvim

[rbdr/dotfiles] / config / nvim / lua / plugins.lua

diff --git a/config/nvim/lua/plugins.lua b/config/nvim/lua/plugins.lua
index 7a34348fade1a66efda44c2212764e9773f6a58a..15aeb955ee0b46b7260319dc6acc88c816828375 100644 (file)
--- a/config/nvim/lua/plugins.lua
+++ b/config/nvim/lua/plugins.lua
@@ -44,30 +44,38 @@ require('lazy').setup({
   },
 
   -- Syntaxes
   },
 
   -- Syntaxes

-  'https://git.sr.ht/~rbdr/api-notation.vim',
-  'elzr/vim-json',
-  'othree/yajs.vim',

   'ARM9/snes-syntax-vim',
   'ARM9/snes-syntax-vim',

-  'leafgarland/typescript-vim',
-  'leafOfTree/vim-svelte-plugin',
-  'bumaociyuan/vim-swift',
-  'udalov/kotlin-vim',
-  'tikhomirov/vim-glsl',
-  'jparise/vim-graphql',
-  'digitaltoad/vim-pug',

   'https://git.sr.ht/~torresjrjr/gemini.vim',
   'https://git.sr.ht/~torresjrjr/gemini.vim',

-  'rust-lang/rust.vim',
-  'dart-lang/dart-vim-plugin',
-  'ziglang/zig.vim',
+  { "folke/neodev.nvim", opts = {} },
+
+  -- Debugging
+  'mfussenegger/nvim-dap',
+  'rcarriga/nvim-dap-ui',
+  'mxsdev/nvim-dap-vscode-js',

 
   -- Editing
 
   -- Editing

+  'ms-jpq/coq_nvim',

   'tpope/vim-endwise',
   'rstacruz/vim-closer',
   'michaeljsmith/vim-indent-object',
   'tpope/vim-endwise',
   'rstacruz/vim-closer',
   'michaeljsmith/vim-indent-object',

+  'Pocco81/auto-save.nvim',
+  {
+    "danymat/neogen",
+    config = true
+  },
+
+  -- Treesitter
+  'nvim-treesitter/nvim-treesitter',
+  'https://git.sr.ht/~rbdr/tree-sitter-api-notation',
+
+  -- LSP
+  'neovim/nvim-lspconfig',
+  'folke/neodev.nvim',

 
   -- Tools
 
   -- Tools

-  {'neoclide/coc.nvim', branch='release'},

   'vim-scripts/LargeFile',
   'tpope/vim-fugitive',
   'vim-scripts/LargeFile',
   'tpope/vim-fugitive',

-  'milkypostman/vim-togglelist'
+  'milkypostman/vim-togglelist',
+
+  'https://git.sr.ht/~rbdr/nota.nvim'

 })
 })