Yirmiuc / libghc-bv-sized-dev

bitvector datatype parameterized by the vector width