Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
idris2Packages
idris2Lsp
package
idris2-lsp
Description
Language Server for Idris2
Metadata
Install
Version
2024-01-21
License
BSD-3-Clause
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/development/compilers/idris2/idris2-lsp.nix:45
Homepage
https://github.com/idris-community/idris2-lsp
Maintainers
1
(1)
Matt Polzin
Executables
1
(1)
bin/idris2-lsp
