« Changelog History


ghc-typelits-natnormalise v0.4.2 Release Notes

Release Date: 2016-07-08 // almost 8 years ago
    • Find more unifications:
      • (2*e ^ d) ~ (2*e*a*c) ==> [a*c := 2*e ^ (d-1)]
      • a^d * a^e ~ a^c ==> [c := d + e]
      • x+5 ~ y ==> [x := y - 5], but only when x+5 ~ y is a given constraint