coq_nvim
coq_nvim copied to clipboard
ms-jpq
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
Disable LSP by default for now, as this is a breaking change for at least one Language Server. #666
Tabby is great, could be cool if coq supported it https://tabby.tabbyml.com/
Hi, I'm getting this error when I open a second nvim instance on another terminal. ``` Error detected while processing /home/bruno/.var/app/io.neovim.nvim/data/nvim/pl ugged/coq_nvim/plugin/coq.vim: line 1: E5108: Error executing lua Vim:Failed to...
In the following example…  …accepting the completion results in the following:  It would be great if it could...
Hello, I read the documentation, I read the part about sources and custom sources, but I couldn't make it work. I have a file with words (like the english dictionary)...
When running `:COQnow`, coq will print "hello" in a random langauge. However, for right-to-left languages like Hebrew, the text shows up as left-to-right:  I can see that the source...
