search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Extend conceal with double colon for cons #77

Closed dmalikov closed 6 years ago

melted commented 6 years ago

Thanks for the PR!