idris-community/idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2

语言：Lua · GitHub 星标：60 · Fork：11

在 GitHub 上查看原仓库