diff options
| -rw-r--r-- | users/sils/nixneovim/default.nix | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/users/sils/nixneovim/default.nix b/users/sils/nixneovim/default.nix index 7477ba0..f68c7ce 100644 --- a/users/sils/nixneovim/default.nix +++ b/users/sils/nixneovim/default.nix @@ -19,6 +19,12 @@ enable = true; autoHide = true; }; + coq-nvim = { + enable = true; + autoStart = true; + installArtifacts = true; + recommendedKeymaps = true; + }; lsp = { enable = true; servers = { @@ -34,10 +40,10 @@ mini = { enable = true; }; - nvim-tree = { - enable = true; - git.enable = true; - }; + nvim-tree = { + enable = true; + git.enable = true; + }; }; }; } |