« Changelog History


ghc-typelits-natnormalise v0.7 Release Notes

Release Date: 2019-08-26 // over 4 years ago
    • Require KnownNat constraints when solving with constants