@hackage bv-sized1.0.1

a bitvector datatype that is parameterized by the vector width

Build Status

bv-sized - A Haskell library for manipulating width-parameterized bitvectors

copyright (c) Ben Selfridge, Galois Inc. 2018

This library defines a bitvector datatype that is parameterized by the vector width.

Other information