« Changelog History


ghc-typelits-knownnat v0.2.4 Release Notes

Release Date: 2017-04-10 // about 7 years ago
    • 🆕 New features:
      • Derive constraints for unary functions via a KnownNat1 instance; thanks to @nshepperd #11
      • Use type-substituted [G]iven KnownNats (partial solve for #13)