nix/12.nixvim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 4
2606 commits 2 branches 0 tags 10 MiB
Commit graph

3 commits

Author SHA1 Message Date
Gaetan Lepage
e54833d2f7 treewide (cleaning): helpers.neovim-plugin -> lib.nixvim.neovim-plugin 2024-12-15 21:55:50 +00:00
Austin Horstman
a7012e7864
treewide: originalName -> packPathName 
We used to only think of it as the plugin repo's name, but we have been
needing to use it for the name of the plugin's packpath location.
 2024-12-13 21:29:00 -06:00
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