Extension for CtrlP.vim to provide easy input of the characters in the UnicodeData database
Why do you think that https://github.com/banacorn/agda-mode-vscode is a good alternative to vim-ctrlp-unicode
Extension for CtrlP.vim to provide easy input of the characters in the UnicodeData database
Why do you think that https://github.com/banacorn/agda-mode-vscode is a good alternative to vim-ctrlp-unicode