« Changelog History


ghc-typelits-knownnat v0.2.3 Release Notes

Release Date: 2017-01-15 // over 7 years ago
    • Solve normalised literal constraints, i.e.:
      • KnownNat (((addrSize + 1) - (addrSize - 1))) ~ KnownNat 2