search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Add unicode concealing? #22

Open japesinator opened 9 years ago

japesinator commented 9 years ago

I maintain vim-IdrisConceal and it was brought up that it might make sense to integrate that with this repository (https://github.com/japesinator/vim-IdrisConceal/issues/3).