search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Integrated Vim-IdrisConceal #24

Closed japesinator closed 9 years ago

japesinator commented 9 years ago

As mentioned in https://github.com/japesinator/vim-IdrisConceal/issues/3 and #22, this integrates and documents concealing functionality

raichoo commented 9 years ago

I'd be cool with this if concealing was not on by default.

Kind regards, raichoo

japesinator commented 9 years ago

It should be off by default now