plugins/lsp/idris2-lsp: init

This commit is contained in:
mitchmindtree 2024-09-14 00:35:47 +10:00 committed by nix-infra-bot
parent 8fd162d951
commit e170e4b598
2 changed files with 10 additions and 0 deletions

View file

@ -246,6 +246,15 @@ let
description = "htmx for HTMX";
package = "htmx-lsp";
}
{
name = "idris2-lsp";
description = "Idris 2 Language Server";
serverName = "idris2_lsp";
package = [
"idris2Packages"
"idris2Lsp"
];
}
{
name = "intelephense";
description = "intelephense for PHP";