idris-lang/Idris-dev — pull request #1761 by bmsherman (2014-12-03 19:43:15+00:00)
Title: Reduce redundant 'specifically' clauses in errors

Addresses https://github.com/idris-lang/Idris-dev/issues/1711.