idris2-vim

Vim mode for Idris 2

Available in

Overlay	Newest	Ebuilds	Last activity
buzden GitHub ↗	9999	1	11 mo	details ›

Version	Overlay	Committed
9999 LIVE ^≈	buzden	follows upstream — no keywords	11 mo	view · download · history ↗