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

Changelog History
Page 2

  • v0.2.4 Changes

    January 04, 2018
    • ➕ Add support for GHC-8.4.1-alpha1
  • v0.2.3 Changes

    May 15, 2017
    • 👌 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
  • v0.2.2 Changes

    January 15, 2017
    • ⬇️ Reduce Min n (n+1) to n
    • ⬇️ Reduce Max n (n+1) to n+1
    • ⬇️ Reduce cases like 1 <=? Div 18 6 to True
    • ➕ Add a type-level division that rounds up: type DivRU n d = Div (n + (d - 1)) d
    • ➕ Add a type-level divMod : DivMod :: Nat -> Nat -> '(Nat, Nat)
  • v0.2.1 Changes

    September 29, 2016
    • ⬇️ Reduce Max n n to n
    • ⬇️ Reduce Min n n to n
  • v0.2 Changes

    August 19, 2016
    • 🆕 New type-level operations:
      • Max: type-level max
      • Min: type-level min
      • Div: type-level div
      • Mod: type-level mod
      • FLog: floor of logBase
      • Log: exact integer logBase (i.e. where floor (logBase b x) ~ ceiling (logBase b x) holds)
      • LCM: type-level lcm
    • 🛠 Fixes bugs:
      • CLog b 1 doesn't reduce to 0
  • v0.1.3 Changes

    July 19, 2016
    • 🛠 Fixes bugs:
      • Rounding error in CLog calculation
  • v0.1.2 Changes

    July 08, 2016
    • Solve KnownNat constraints over CLog and GCD, i.e., KnownNat (CLog 2 4)
  • v0.1.1 Changes

    January 20, 2016
    • Compile on GHC 8.0+
  • v0.1 Changes

    October 21, 2015
    • 🎉 Initial release