Our great sponsors
agda-vim | cornelis | |
---|---|---|
2 | 2 | |
128 | 127 | |
- | - | |
0.0 | 6.5 | |
over 2 years ago | 11 days ago | |
Vim Script | Haskell | |
BSD 2-clause "Simplified" License | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
agda-vim
-
What is currently the most usable plugin for using Agda with Vim/Nvim?
Here is another one: https://github.com/derekelkins/agda-vim
-
What input method would you prefer for Unicode characters in a neovim plugin?
There are several independents Unicode input plugins for vim already, that could be included as a dependency / suggestion for the user, which would reduce the scope of the project, like: - unicode.vim - a plugin for CtrlP - latex-unicoder.vim - or even the input method of agda-vim
cornelis
-
What is currently the most usable plugin for using Agda with Vim/Nvim?
cornelis is agda-mode, but for neovim. It's written in Haskell, which means it's maintainable and significantly less likely to bit-rot like any vimscript/lua implementations.
- [ANNOUNCE] Cornelis - an agda-mode for vim
What are some alternatives?
Agda - Agda is a dependently typed programming language / interactive theorem prover.
nvim-agda - Agda interaction pluging for neovim
agda.nvim - NeoVim plugin for interacting with Agda written in Lua
agda2lagda - Simple conversion from Agda text to literate Agda text.
agda-mode-vscode - agda-mode on VS Code
agda-unused - Check for unused code in an Agda project.
unicode.vim - A Vim plugin that provides a completion function for Unicode glyphs
nvim-hs-ghcid - Ghcid integration plugin for nvim-hs
latex-unicoder.vim - A plugin to type Unicode chars in Vim, using their LaTeX names.
vim-ctrlp-unicode - Extension for CtrlP.vim to provide easy input of the characters in the UnicodeData database
nvim-hs - Neovim API for Haskell plugins as well as the plugin provider