@hackage / kind-integer

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

Latest0.6.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.4.3

Readme

kind-integer

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