sbvPlugin v0.11 Release Notes

Release Date: 2019-01-15 // about 5 years ago
    • Changes required to compile with GHC 8.6.3
    • Bump up sbv dependence to >= 8.0
    • Clean-up/improve test cases