@hackage bv-embed0.1.0

Define embeddings of small bit vectors into larger ones

Categories
License
BSD-3-Clause
Maintainer
benselfridge@galois.com
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
- 0.1.0 Sun, 27 Jan 2019

Installation
In your cabal file:
Dependencies (1)
- base >=4.6 && <5
Dependents (0)

bv-embed - Define embeddings of small bit vectors into larger ones