Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: haskell-numtype-dk  ]

Paket: libghc-numtype-dk-dev (0.5.0.3-3 und andere)

Links für libghc-numtype-dk-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket haskell-numtype-dk herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libghc-numtype-dk-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libghc-numtype-dk-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 0.5.0.3-3 35,8 kB390,0 kB [Liste der Dateien]
amd64 0.5.0.3-3 30,8 kB282,0 kB [Liste der Dateien]
arm64 0.5.0.3-3 31,4 kB292,0 kB [Liste der Dateien]
armel 0.5.0.3-3 35,2 kB347,0 kB [Liste der Dateien]
armhf 0.5.0.3-3 35,3 kB346,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 0.5.0.3-3 38,1 kB329,0 kB [Liste der Dateien]
i386 0.5.0.3-3 35,3 kB311,0 kB [Liste der Dateien]
ia64 (inoffizielle Portierung) 0.5.0.3-2+b1 36,8 kB401,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 0.5.0.3-2 34,9 kB304,0 kB [Liste der Dateien]
mips64el 0.5.0.3-3 34,0 kB399,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 0.5.0.3-3 34,2 kB389,0 kB [Liste der Dateien]
ppc64el 0.5.0.3-3 34,2 kB386,0 kB [Liste der Dateien]
riscv64 0.5.0.3-3 36,6 kB392,0 kB [Liste der Dateien]
s390x 0.5.0.3-3 38,2 kB444,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 0.5.0.3-1 35,4 kB399,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 0.5.0.3-3 36,1 kB1.300,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 0.5.0.3-2 41,3 kB375,0 kB [Liste der Dateien]