tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: haskell-numtype-dk  ]

Paket: libghc-numtype-dk-dev (0.5.0.3-3 ve diğerleri)

libghc-numtype-dk-dev için bağlantılar

Screenshot

Debian Kaynakları:

haskell-numtype-dk Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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.

libghc-numtype-dk-dev ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-numtype-dk-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 0.5.0.3-3 35,8 kB390,0 kB [dosya listesi]
amd64 0.5.0.3-3 30,8 kB282,0 kB [dosya listesi]
arm64 0.5.0.3-3 31,4 kB292,0 kB [dosya listesi]
armel 0.5.0.3-3 35,2 kB347,0 kB [dosya listesi]
armhf 0.5.0.3-3 35,3 kB346,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.5.0.3-3 38,1 kB329,0 kB [dosya listesi]
i386 0.5.0.3-3 35,3 kB311,0 kB [dosya listesi]
ia64 (resmi olmayan port) 0.5.0.3-2+b1 36,8 kB401,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.5.0.3-2 34,9 kB304,0 kB [dosya listesi]
mips64el 0.5.0.3-3 34,0 kB399,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.5.0.3-3 34,2 kB389,0 kB [dosya listesi]
ppc64el 0.5.0.3-3 34,2 kB386,0 kB [dosya listesi]
riscv64 0.5.0.3-3 36,6 kB392,0 kB [dosya listesi]
s390x 0.5.0.3-3 38,2 kB444,0 kB [dosya listesi]
sh4 (resmi olmayan port) 0.5.0.3-1 35,4 kB399,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.5.0.3-3 36,1 kB1.300,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.5.0.3-2 41,3 kB375,0 kB [dosya listesi]