Binary package “libghc-type-level-numbers-dev” in ubuntu lunar
library representing integers using Haskell type families
This library represents numbers in Haskell at the level of types.
This is achieved by means of type families.
.
Numbers up to 2^18-1 can be represented.
.
In this version of the package, comparison of numbers, subtraction
and multiplication of numbers is supported.
.
This package provides a library for the Haskell programming language.
See http://
Published versions
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in amd64 (Proposed)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in amd64 (Release)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in arm64 (Proposed)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in arm64 (Release)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in armhf (Proposed)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in armhf (Release)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in ppc64el (Proposed)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in ppc64el (Release)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in riscv64 (Proposed)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in riscv64 (Release)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in s390x (Proposed)
- libghc-type-level-numbers-dev 0.1.1.2-1build2 in s390x (Release)