glomurno/nvim-idris2

EXPERIMENTAL: Idris2 plugin for neovim in Idris2

语言：Lua · GitHub 星标：9 · Fork：3

在 GitHub 上查看原仓库