« Changelog History


liquidhaskell v0.5.0.1 Release Notes

    • 🛠 Fixed a bug in the specification for Data.Traversable.sequence
    • 0️⃣ Make interpreted mul and div the default, when solver = z3
    • 👉 Use --higherorder to allow higher order binders into the fixpoint environment