Closed zhimsel closed 1 year ago
It may be too heavy-handed. It may make linting dependencies easier to deal with. It may be a good idea. It may be a bad idea. ¯\_(ツ)_/¯
https://github.com/ms-jpq/coq_nvim may be a better option
It may be too heavy-handed. It may make linting dependencies easier to deal with. It may be a good idea. It may be a bad idea. ¯\_(ツ)_/¯