I'm happy to announce the very first release of the bv package. http://hackage.haskell.org/package/bv
This library represents bit-vectors as a wrapper over Integer, in contrast with other libraries I've seen that prefer their representation as vectors of booleans. Particularly, the Integer-based representation is more suitable for implementing bit-vector arithmetic. I started coding this library as part of a bigger project related with SMT solving, so the functionality provided by this library is highly inspired by the theory of fixed-size bit-vectors supported by SMT solvers. I hope it will be useful for others too. Feedback is very welcomed. Iago Abal Rivas
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
