Remove compe support. - Githubissues

Julian / lean.nvim

neovim support for the Lean theorem prover

MIT License

255 stars 25 forks source link

Remove compe support. #263

Closed Julian closed 2 years ago

Julian commented 2 years ago

It's long deprecated/abandoned in favor of nvim-cmp.

We can add some extra nvim-cmp support at some point (including maybe re-adding an abbreviation source) but for now remove this so it's not confusing.

Closes: #140