coq_nvim
coq_nvim copied to clipboard
docs: add special characters to recommended keybinds
I think this would be cool if mentioned somewhere in docs... When selected completion, especially in IDE you can complete it by typing special characters. This might disturb other people configuration so maybe not make it default. I think it's neat.