mirror of
https://github.com/nix-community/nixvim.git
synced 2025-11-08 19:46:06 +01:00
7 lines
195 B
Nix
7 lines
195 B
Nix
{ lib, ... }:
|
|
lib.nixvim.plugins.mkNeovimPlugin {
|
|
name = "idris2";
|
|
package = "idris2-nvim";
|
|
description = "Idris2 support for Neovim.";
|
|
maintainers = [ lib.maintainers.mitchmindtree ];
|
|
}
|