typelits-witnesses v0.2.3.0 Release Notes
-
🚀 https://github.com/mstksg/typelits-witnesses/releases/tag/v0.2.3.0
- Added the
GHC.TypeLits.Comparemodule for refining bounds and proving inequalities onKnownNats and associated utility functions.
- Added the