« Changelog History


ghc-typelits-extra v0.2.3 Release Notes

Release Date: 2017-05-15 // almost 7 years ago
    • 👌 Support GHC 8.2
    • Max, Min, GCD, and LCM now have a commutativity property #9
    • ⬇️ Reduce GCD 0 x to x #9
    • ⬇️ Reduce GCD 1 x to 1 #9
    • ⬇️ Reduce GCD x x to x #9
    • ⬇️ Reduce LCM 0 x to 0 #9
    • ⬇️ Reduce LCM 1 x to x #9
    • ⬇️ Reduce LCM x x to x #9
    • ⬇️ Reduce Max (0-1) 0 to 0 #10
    • ⬇️ Reduce Min (0-1) 0 to 0 - 1 #10
    • 🛠 Fixes bugs:
      • Solver turns LCM into GCD #8
      • Solver turns Max into Min