idris2-lsp

Language Server for Idris2

Available in

Overlay	Newest	Ebuilds	Last activity
Miezhiko GitHub ↗	9999	1	25 h	details ›

Version	Overlay	amd64	Committed
9999 LIVE ^≈	Miezhiko	follows upstream — no keywords	6 mo	view · download · history ↗