Gentoo Portage Overlays - dev-util/idris2-lsp

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-util/idris2-lsp

Language Server for Idris2

Screenshots

https://github.com/idris-community/idris2-lsp

idris2-lsp-9999

~amd64

View

Download

Browse License: BSD

Overlay: Miezhiko

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs