idris-lang/Idris-dev — pull request #908 by david-christiansen (2014-02-18 13:08:03+00:00)
Title: Document -X at command line

Now we can close #593.