Pedro Alves f8b70a30ea coq-nvim: init plugin ... still need to add most options, but this is enough to be usable right now! This also sets up the work needed for other completion frameworks, notably things like nvim-cmp and compe.		2022-01-09 23:04:12 +00:00
..
coq.nix	coq-nvim: init plugin	2022-01-09 23:04:12 +00:00