hdiff
packages
feed
kind-rational
-0.1: README.md
# kind-rational Haskell type-level `Rational`s. Like `KnownNat`, but for `Rational`s.