copumpkin/bitvector — pull request #1 by glguy (2012-06-22 18:51:20+00:00)
Title: Be explicit about uninferable types

A change to the way that Agda resolves implicit parameters
requires us to be a bit more explicit now.