Derive KnownNat constraints from other KnownNat constraints
[email protected] is safe to use (health: 59/100)
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/hackage/ghc-typelits-knownnatLast updated · 2026-03-20T09:41:15.518017642Z