diff --git a/pkgs/nixvim/lang/idris2.nix b/pkgs/nixvim/lang/idris2.nix new file mode 100644 index 0000000..53e6fa8 --- /dev/null +++ b/pkgs/nixvim/lang/idris2.nix @@ -0,0 +1,9 @@ +{pkgs, ...}: { + extraPackagesAfter = with pkgs; [idris2Packages.idris2Lsp]; + lsp.servers.idris2 = { + enable = true; + }; + youthlic.plugins.idris2 = { + enable = true; + }; +}