idris-lang/Idris-dev — pull request #1310 by Melvar (2014-06-10 12:22:26+00:00)
Title: Update HVect

Fixes the `Show` instance and replaces `findElem` with the `search` tactic in the type-directed functions.