Description
A GHC type-checker plugin for normalizing and solving constraints over type-level natural numbers. It helps the compiler prove equalities that arise from arithmetic on GHC.TypeLits.Nat.
Developers use it in libraries with type-level dimensions, fixed-size data, and numeric proofs. Plugin-dependent code should document the required GHC options so projects compile reliably.