« Changelog History


sbvPlugin v0.7 Release Notes

Release Date: 2016-06-07 // almost 8 years ago
    • Compile with GHC-8.0. Plugin at least requires GHC-8.0.1 and SBV 5.12
    • Fix a few dead links