idris-lang/Idris-dev — pull request #1025 by jeffersoncarpenter (2014-04-04 15:24:04+00:00)
Title: changed the first sentence of the readme

The Idris website says that Idris is a "general-purpose" programming language. The readme should match that, put the right first impression in people's minds and all that jazz.