search

edwinb / idris2-vim

Vim mode for Idris 2
75 stars 26 forks source link

fix references to idris1(-mode) in README.md #1

Closed mrkgnao closed 4 years ago

edwinb commented 4 years ago

Thanks!