ghc-typelits-natnormalise v0.7.1 Release Notes

Release Date: 2020-02-06 // over 2 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