@hackage / ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

0.8.3

Version history