« Changelog History


ghc-typelits-extra v0.1.2 Release Notes

Release Date: 2016-07-08 // almost 8 years ago
    • Solve KnownNat constraints over CLog and GCD, i.e., KnownNat (CLog 2 4)