[ Källkod: haskell-numtype-dk ]
Paket: libghc-numtype-dk-dev (0.5.0.3-3)
Länkar för libghc-numtype-dk-dev
Debianresurser:
Hämta källkodspaketet haskell-numtype-dk:
- [haskell-numtype-dk_0.5.0.3-3.dsc]
- [haskell-numtype-dk_0.5.0.3.orig.tar.gz]
- [haskell-numtype-dk_0.5.0.3-3.debian.tar.xz]
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
type-level integers without fundeps
This package provides type level representations of the (positive and negative) integers and basic operations (addition, subtraction, multiplication, division, exponentiation) on these. The numtype-dk package differs from the numtype package in that the NumTypes are implemented using Data Kinds, TypeNats, and Closed Type Families rather than Functional Dependencies.
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Andra paket besläktade med libghc-numtype-dk-dev
|
|
|
|
-
- dep: libc6 (>= 2.17)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libghc-base-dev-4.18.2.1-75247
- virtuellt paket som tillhandahålls av ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
Hämta libghc-numtype-dk-dev
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| arm64 | 31,4 kbyte | 292,0 kbyte | [filförteckning] |