bv-little v1.0.1 Release Notes

Release Date: 2019-05-21 // almost 5 years ago
    • Correcting Eq instance to test for value equality and not construction equality

    • Updated unit tests do not fail when the antecedent of logical implication cannot be satisfied