idris-lang/Idris-dev — pull request #1522 by soimort (2014-09-12 19:53:51+00:00)
Title: Fix typo in help message

```diff
- langage
+ language
```