edwinb/Idris-dev — pull request #351 by Melvar (2013-06-25 15:43:40+00:00)
Title: Data.HVect

Ralith bugged me again to get my HVect implementation in, and I had opportunity, so I pulled it together and organized it hopefully acceptably.