Update README.md - Githubissues

idris-hackers / idrispkgs

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!

https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules

MIT License

28 stars 4 forks source link

Update README.md #4

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.