search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Remove dangling endif #18

Closed lmarburger closed 9 years ago

lmarburger commented 9 years ago

This is obviously a very important commit. :shipit: