idris-lang/Idris-dev — pull request #792 by jfdm (2014-01-22 12:14:30+00:00)
Title: Updates to contributing guidelines.

+ Fixed markup
+ Introduced new sectioning
+ Updated list on contributors.