« Changelog History


ghc-typelits-natnormalise v0.7.2 Release Notes

Release Date: 2020-03-09 // about 4 years ago
    • 🛠 Fixes #44 infinite loop due to boxed equality

Previous changes from v0.7.1

    • ➕ Add support for GHC 8.10.1-alpha2
    • 🛠 Fixes #23: Can't figure out + commutes in some contexts on GHC 8.6.3
    • 🛠 Fixes #28: Using the solver seems to break GHC
    • 🛠 Fixes #34: inequality solver mishandles subtraction