refined v0.6.2 Release Notes

Release Date: 2021-01-31 // over 1 year 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