ersatz v0.3 Release Notes

Release Date: 2015-03-07 // about 9 years ago
    • Unified Encoding and Decoding into Codec
    • Unified the forall and exists implementations into a single literally method in Variable class.
    • โž• Added Orderable type class and instances
    • โž• Added Ersatz.Bits.Bits for variable-sized bit arithmetic.
    • ๐Ÿ“‡ Renamed Ersatz.Bits.half_adder to halfAdder
    • ๐Ÿ“‡ Renamed Ersatz.Bits.full_adder to fullAdder
    • โž• Added new examples
    • โฌ‡๏ธ Dropped blaze package dependency in favor of newer bytestring
    • Significantly shrank the number of "Trustworthy" modules
    • โž• Added various generic V1 instances
    • โž• Added Equatable instances for Map and IntMap
    • โž• Added Ersatz.BitChar module for computing with Char and String
    • Wider version bounds for transformers and mtl.