mirror of
https://github.com/nix-community/nixvim.git
synced 2025-06-25 10:18:36 +02:00
ae2b9bd445
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.
11 lines
194 B
Nix
11 lines
194 B
Nix
{
|
|
helpers,
|
|
lib,
|
|
...
|
|
}:
|
|
helpers.neovim-plugin.mkNeovimPlugin {
|
|
name = "idris2";
|
|
originalName = "idris2";
|
|
package = "idris2-nvim";
|
|
maintainers = [ lib.maintainers.mitchmindtree ];
|
|
}
|