« Changelog History


ghc-typelits-extra v0.3.1 Release Notes

Release Date: 2019-08-26 // over 4 years ago
    • ⬇️ Reduce a <=? Max a b to True
    • ⬇️ Reduce n ~ (Max a b) => a <=? n to True
    • Prove Max (1 + n) 1 ~ (n+1)