idris-hackers / idris-vimLinks

Idris mode for vim
221Updated 4 years ago

Alternatives and similar repositories for idris-vim

Users that are interested in idris-vim are comparing it to the libraries listed below

Sorting: