Open srghma opened 7 years ago
I'm using jellybeans color scheme, neovim, archlinux, latest idris-vim
As you can see, module name, %access private and many other things are not highlighted as on demo picture
%access private
I'm using jellybeans color scheme, neovim, archlinux, latest idris-vim
As you can see, module name,
%access private
and many other things are not highlighted as on demo picture