« Changelog History


ghc-typelits-natnormalise v0.7.1 Release Notes

Release Date: 2020-02-06 // about 4 years ago
    • ➕ 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