文件名称：nvim-agda:用于Neovim的Agda交互插件
文件大小：11KB
文件格式：ZIP
更新时间：2024-05-07 00:39:50
Lua
阿格达（Novavim） 安装 在系统上安装库。 使用插件管理器（例如并传递此存储库的名称： paq ' ashinkarov/nvim-agda ' 或者，您可以按以下方式手动安装插件： $ mkdir -p ~ /.local/share/nvim/site/pack/git-plugins/start $ git clone https://github.com/ashinkarov/nvim-agda.git --depth=1 ~ /.local/share/nvim/site/pack/git-plugins/start/nvim-agda 细节 带有内置的支持，可大大简化复杂插件的开发。 这个插件几乎完全是用Lua编写的，它可以处理异步交互和编辑器状态操作。 设计原则 使用异步通信，以便我们在Agda工作时可以使用编辑器。 尚未对文件进行类型检查时，请避免使用目标命
【文件预览】：
nvim-agda-master
----ftplugin()
--------agda.vim(2KB)
----ftdetect()
--------agda.vim(40B)
----agda-input.vim(3KB)
----lua()
--------agda()
----README.md(4KB)