Skip to content

@christiaanb christiaanb released this Sep 29, 2016 · 33 commits to master since this release

  • Reduce Max n n to n
  • Reduce Min n n to n
Assets 2

@christiaanb christiaanb released this Aug 19, 2016 · 42 commits to master since this release

  • 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
Assets 2

@christiaanb christiaanb released this Jul 8, 2016 · 57 commits to master since this release

  • Solve KnownNat constraints over CLog and GCD, i.e., KnownNat (CLog 2 4)
Assets 2

@christiaanb christiaanb released this Oct 21, 2015 · 76 commits to master since this release

Initial release

Assets 2
You can’t perform that action at this time.