youthlic/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

pkg(nixvim): Add idris2 language configuration

Browse source
This commit is contained in:
ulic-youthlic 2025-07-13 06:04:55 +08:00
parent 56dc7f3bba
commit 400742f8a9
Signed by: youthlic
GPG key ID: 63E86C3C14A0D721
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
pkgs/nixvim/lang/idris2.nix Normal file
View file

@ -0,0 +1,9 @@
{pkgs, ...}: {
extraPackagesAfter = with pkgs; [idris2Packages.idris2Lsp];
lsp.servers.idris2 = {
enable = true;
};
youthlic.plugins.idris2 = {
enable = true;
};
}