« Changelog History


ghc-typelits-natnormalise v0.5.6 Release Notes

Release Date: 2017-10-31 // over 6 years ago
    • 🛠 Fixes bugs:
      • (x + 1) ~ (2 * y) no longer implies ((2 * (y - 1)) + 1) ~ x