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]
- Solve inequalities when their normal forms are the same, i.e.