ghc-typelits-natnormalise v0.7.2 Release Notes

Release Date: 2020-03-09 // over 2 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