Description
A Haskell library for deriving KnownNat constraints from other KnownNat constraints. It helps type-level numeric code recover runtime evidence for natural numbers computed by type families or arithmetic.
Developers use it in strongly typed numeric, hardware, and vector libraries. Correct evidence matters because it connects compile-time numbers to runtime values.