search

idris-hackers / idris-vim

Idris mode for vim
220 stars 52 forks source link

Update README.md with make case #44

Closed thomasdziedzic closed 8 years ago