idris-lang/Idris-dev — pull request #1798 by jfdm (2014-12-18 15:47:56+00:00)
Title: Updates to README.md

+ Added Headers.
+ Add more comprehensive information over installing idris from hackage and from source.
+ Add links for more information.
+ Reformated existing sections.