mitchmindtree e170e4b598 plugins/lsp/idris2-lsp: init		2024-09-14 16:38:15 +00:00
..
language-servers	plugins/lsp/idris2-lsp: init	2024-09-14 16:38:15 +00:00
default.nix	plugins/lsp: make lspOnAttach available globally	2024-08-24 11:50:06 -05:00