search

edwinb / idris2-vim

Vim mode for Idris 2
75 stars 26 forks source link

Further "Idris" -> "Idris 2" renamings were done #7

Closed buzden closed 4 years ago

edwinb commented 4 years ago

THanks for the updates