[ Källkod: haskell-numtype-dk ]
Paket: libghc-numtype-dk-dev (0.5.0.3-1 och andra)
Länkar för libghc-numtype-dk-dev
Debianresurser:
Hämta källkodspaketet haskell-numtype-dk:
- [haskell-numtype-dk_0.5.0.3-1.dsc]
- [haskell-numtype-dk_0.5.0.3.orig.tar.gz]
- [haskell-numtype-dk_0.5.0.3-1.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.1.3)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libghc-base-dev-4.15.1.0-6f9e8
- virtuellt paket som tillhandahålls av ghc
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- Multiprecision arithmetic library
Hämta libghc-numtype-dk-dev
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| i386 | 0.5.0.3-1+b1 | 36,5 kbyte | 307,0 kbyte | [filförteckning] |