ghc-typelits-natnormalise v0.6.2 Release Notes

Release Date: 2018-07-10 // almost 4 years ago
    • ➕ Add support for GHC 8.6.1-alpha1
    • Solve larger inequalities from smaller inequalities, e.g.
      • a <= n implies a <= n + 1