« Changelog History


ghc-typelits-natnormalise v0.4.3 Release Notes

Release Date: 2016-07-18 // almost 8 years ago
    • 🛠 Fixes bugs:
      • False positive: "f :: (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) => Proxy n -> Proxy (n+d)"