ghc-typelits-natnormalise v0.5.5 Release Notes

Release Date: 2017-10-22 // over 6 years ago
    • Solve inequalities when their normal forms are the same, i.e.
      • (2 <= (2 ^ (n + d))) implies (2 <= (2 ^ (d + n)))
    • Find more unifications:
      • 8^x - 2*4^x ~ 8^y - 2*4^y ==> [x := y]