idris-lang/Idris-dev — pull request #717 by jfdm (2013-12-10 17:14:53+00:00)
Title: Added contributing guidelines.

Github has [cool support](https://github.com/blog/1184-contributing-guidelines) for CONTRIBUTING.md files. A rough and ready set of guidelines has been added.