« Changelog History


ghc-typelits-natnormalise v0.3.2 Release Notes

    • Find more unifications:
      • (z ^ a) ~ (z ^ b) ==> [a := b]
      • (i ^ a) ~ j ==> [a := round (logBase i j)], when i and j are integers, and ceiling (logBase i j) == floor (logBase i j).