« Changelog History


ghc-typelits-natnormalise v0.2 Release Notes

Release Date: 2015-04-22 // about 9 years ago
    • Finds more unifications:
      • (2 + a) ~ 5 ==> [a := 3]
      • (3 * a) ~ 0 ==> [a := 0]