isti115/agda.nvim

NeoVim plugin for interacting with Agda written in Lua

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

在 GitHub 上查看原仓库