mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-20 16:15:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4
nix-community.nixvim/tests/test-sources/plugins/by-name/idris2
History
mitchmindtree ae2b9bd445 plugins/idris2: init 
Adds the `idris2` neovim plugin.

Also changes `idris2-lsp` to enable this new `idris2` plugin when
enabled, as it's required for `idris2-lsp` to work at all.
2024-09-27 14:27:54 +00:00
..
default.nix plugins/idris2: init 2024-09-27 14:27:54 +00:00