Primitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them
Absolutely untested implementations of a few bitstring primitives.
flooring log2 for Nats
Primitives for interconversion of Bits32 and Int
Verified numbers
Beginnings of generic machine integer support
Resolve implicit definition warnings relating to bitstrings
String primitives
Basic bit-twiddling primitives
Cast Int (Bits n) instance
Strongly-typed bits
Access qualifiers for Modulo
Show instance for Modulo
Correct behavior of operations on non-native bit widths
Replace general modulo type with modulo 2^n type
Cast instances for Mod2 <=> Bits and Int => Bits
Machine integer comparison primitives and a proofy interface to the equality case
Safe bitsEq
Swapped bitsEq Either ordering to be in the spirit of Right=success
Complement primitive for bit types