edwinb/Idris-dev — pull request #396 by melted (2013-07-13 11:51:33+00:00)
Title: Update usage with --codegen and add a couple of other flags.

While we're at it, make it fit in 80 cols.