idris-lang/Idris-dev — pull request #1562 by jfdm (2014-09-30 12:35:51+00:00)
Title: Badges.

Badges added to the README that display:

+ Status of Travis for master
+ Hackage information.

This should provide users, and casual observers with some added information about Idris and the build process.