idris-community / idris2-nvimLinks

Simple configuration and extra tools for NVIM + LSP + Idris2
50Updated 2 weeks ago

Alternatives and similar repositories for idris2-nvim

Users that are interested in idris2-nvim are comparing it to the libraries listed below

Sorting: