« Changelog History


ghc-typelits-natnormalise v0.3.1 Release Notes

Release Date: 2015-10-19 // over 8 years ago
    • Find more unifications:
      • (i * a) ~ j ==> [a := div j i], when i and j are integers, and mod j i == 0.
      • (i * a) + j ~ k ==> [a := div (k-j) i], when i, j, and k are integers, and k-j >= 0 and mod (k-j) i == 0.