idris-lang/Idris-dev — pull request #1461 by david-christiansen (2014-08-05 08:43:34+00:00)
Title: Take .lidr syntax into account with :addmissing

Fixes #1460.