search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Changed idris to idris2 #95

Closed timmyjose closed 3 years ago