#1 TRENDING copumpkin/bitvector Agda 2010 Sequences of bits and common operations on them 4 ↑ +1 today 7