idris-lang/Idris-dev — pull request #1275 by jfdm (2014-06-02 14:56:22+00:00)
Title: Added descriptions to Options parser for the 'help' flag.

Give more information over the Idris project in the `--help` flag. This should also help address Issue #1232.