Description
A Haskell library adding type-level operations for GHC.TypeLits.Nat. It helps developers express arithmetic and relationships between natural numbers in the type system.
Developers use it for fixed-size vectors, hardware descriptions, numeric APIs, and strongly typed dimensions. Type-level arithmetic should remain documented because compiler errors can become difficult for users to interpret.