search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Remove inferior comments and formatoptions settings. #70

Closed stephen-smith closed 7 years ago

stephen-smith commented 7 years ago

Fixes issue #65.

melted commented 7 years ago

Thanks!