« Changelog History


liquidhaskell v0.8.6.0 Release Notes

    • Automatically check (transitive) dependencies
    • Built with GHC 8.6.4
    • 0️⃣ Structural termination checker (on by default)
    • 👌 Support for specifying class-laws and that they hold on instances
    • 🐛 Bug fixes for PLE
    • Need to run LH on imported libs (with source) first; can use --compile-spec to avoid checking.