idris-lang/Idris-dev — pull request #1479 by david-christiansen (2014-08-20 06:18:10+00:00)
Title: Add completion support for newer command arg types

Fixes #1477.