@hackage kind-rational0.1

Type-level rationals. Like KnownNat, but for rationals.

kind-rational

Haskell type-level Rationals. Like KnownNat, but for Rationals.