idris-lang/Idris-dev — pull request #782 by jfdm (2014-01-16 14:44:03+00:00)
Title: Command line option improvements.

+ Added new flag `--checkpkg ` to type check only packages.
+ executables are not linked
+ Improved usage info styling
+ Added unmentioned flags added