search

codota / tabnine-vim

Vim client for TabNine. https://vimawesome.com/plugin/tabnine-vim
https://www.tabnine.com/install/vim
GNU General Public License v3.0
669 stars 36 forks source link

Add the `coq_nvim` completion engine #104

Closed ofk-enterprise-account closed 2 years ago

ofk-enterprise-account commented 2 years ago

The Coq Nvim completion engine (here) is a great completion engine, very fast, very powerful, very useful, and integrates completely with NeoVim's builtin LSP server.

Adding TabNine mojo to its already great output would take it to the next level.

gz#10542

bilucodota commented 2 years ago

Hi @ofk-enterprise-account, thanks for reaching out!

To be honest, I wasn't familiar with coq_nvim - but according to their documentation - it seems like is already integrated with Tabnine, it's just disabled by default https://github.com/ms-jpq/coq_nvim#tabnine

ofk-enterprise-account commented 2 years ago

Oh wow, that's cool. I hope (s)he doesn't drop support of you.

Thanks. I'll close this ticket now.