Matt Sturgeon
5e9a6c00a9
treewide: neovim-plugin
-> plugins
2024-12-22 10:04:00 +00:00
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