@hackage / kind-rational

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

Latest0.5.0

About

Metadata

  • Last updated , by RenzoCarbonara
  • License BSD-3-Clause
  • Categories Type System
  • Maintained by: renλren.zone

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.6.1
  2. 9.4.5

Readme

kind-rational

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