@hackage bv0.4.0
Bit-vector arithmetic library
Installation
Dependencies (3)
- base >=4.6 && <5
- ghc-prim
- integer-gmp Show all…
Dependents (7)
@hackage/acme-everything, @hackage/resolve, @hackage/funcons-tools, @hackage/workflow-osx, @hackage/haquil, @hackage/libriscv, Show all…
Package Flags
gmp
(on by default)
Using Integer GMP backend.
test
(off by default)
Build the test suite, and an executable to run it.
Bit-vectors implemented as a thin wrapper over integers.