search

nix-community / nixvim

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
https://nix-community.github.io/nixvim
MIT License
1.71k stars 263 forks source link

Add coq.thirdparty #278

Closed rupurt closed 1 year ago

rupurt commented 1 year ago

Plugin: What's the name of the plugin Plugin repository: https://github.com/ms-jpq/coq.thirdparty#third-parties Is the plugin on nixpkgs: Yes. vimPlugins.coq-thirdparty

Extra information

It would be great if this was integrated like the artifacts plugin. This will enable copilot within COQ

GaetanLepage commented 1 year ago

Done ! https://github.com/pta2002/nixvim/pull/282

rupurt commented 1 year ago

Amazing! Thank you 🍺