All Versions
19
Latest Version
Avg Release Cycle
121 days
Latest Release
120 days ago

Changelog History
Page 1

  • v0.4.3 Changes

    June 18, 2021
    • ➕ Add support for GHC 9.2.0.20210422
  • v0.4.2 Changes

    January 01, 2021
    • ➕ Add support for GHC 9.0.1-rc1
  • v0.4.1 Changes

    November 10, 2020
    • ⬇️ Reduce n <=? Max (n + p) p to True
  • v0.4 Changes

    March 09, 2020
    • Max short-circuits on zero, but is stuckness preserving. i.e. Max (0-1) 0 reduces to (0-1)
    • ⬇️ Reduce inside arithmetic equations. e.g. 1 + a ~ Max 0 a + CLog 2 2
  • v0.3.3 Changes

    February 06, 2020
    • ➕ Add support for GHC 8.10.1-alpha2
  • v0.3.1 Changes

    August 26, 2019
    • ⬇️ Reduce a <=? Max a b to True
    • ⬇️ Reduce n ~ (Max a b) => a <=? n to True
    • Prove Max (1 + n) 1 ~ (n+1)
  • v0.3 Changes

    September 14, 2018
    • 🚚 Move KnownNat2 instances for GHC 8.4's Div and Mod from ghc-typelits-extra to ghc-typelits-knownnat
  • v0.2.6 Changes

    • ➕ Add support for GHC-8.6.1-alpha1
  • v0.2.5 Changes

    May 09, 2018
    • ➕ Add support for ghc-typelits-natnormalise-0.6