« Changelog History


ghc-typelits-extra v0.4 Release Notes

Release Date: 2020-03-09 // about 4 years ago
    • 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