Update README.md - Githubissues

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Update README.md #40

Closed slaven-s closed 8 years ago

slaven-s commented 8 years ago

Hi,

I added section "Books" and a link to the Type-Driven Development with Idris written by Edwin Brady for Manning Publications. We believe this book is a great resource and all members of community will benefit from this information. If you find this inappropriate, please let me know where I can publish it.

david-christiansen commented 8 years ago

It seems that this exact same pull request is being indiscriminately made to every Idris-related repo on Github. I consider this spam, and will close the ones on the idris-hackers organization and my own account.