refined v0.6.2 Release Notes

Release Date: 2021-01-31 // about 3 years ago
  • ๐Ÿ”„ Changed

    • strengthen no longer returns an Either, since the proof that it should always succeed is in its constraints.
    • ๐Ÿ“š correct success documentation

Previous changes from v0.6.1

  • ๐Ÿ”„ Changed

    • upper bound on QuickCheck: <2.15