all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: haskell-numtype-dk  ]

Package: libghc-numtype-dk-dev (0.5.0.3-1 and others)

Links for libghc-numtype-dk-dev

Screenshot

Debian Resources:

Download Source Package haskell-numtype-dk:

Maintainers:

External Resources:

Similar packages:

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.

Other Packages Related to libghc-numtype-dk-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-numtype-dk-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 0.5.0.3-1+b1 36.7 kB390.0 kB [list of files]
amd64 0.5.0.3-1+b2 32.3 kB280.0 kB [list of files]
arm64 0.5.0.3-1+b1 36.9 kB435.0 kB [list of files]
armel 0.5.0.3-1+b2 35.5 kB338.0 kB [list of files]
armhf 0.5.0.3-1+b2 35.3 kB338.0 kB [list of files]
hppa (unofficial port) 0.5.0.3-1+b2 39.3 kB330.0 kB [list of files]
i386 0.5.0.3-1+b1 36.5 kB307.0 kB [list of files]
ia64 (unofficial port) 0.5.0.3-1+b2 36.7 kB402.0 kB [list of files]
m68k (unofficial port) 0.5.0.3-1+b1 35.4 kB305.0 kB [list of files]
mips64el 0.5.0.3-1+b1 35.7 kB399.0 kB [list of files]
mipsel 0.5.0.3-1+b2 34.0 kB367.0 kB [list of files]
ppc64 (unofficial port) 0.5.0.3-1+b2 35.1 kB392.0 kB [list of files]
ppc64el 0.5.0.3-1+b2 35.4 kB387.0 kB [list of files]
riscv64 (unofficial port) 0.5.0.3-1+b2 37.5 kB373.0 kB [list of files]
s390x 0.5.0.3-1+b1 37.3 kB348.0 kB [list of files]
sh4 (unofficial port) 0.5.0.3-1 35.4 kB399.0 kB [list of files]
sparc64 (unofficial port) 0.5.0.3-1+b2 37.2 kB1,301.0 kB [list of files]
x32 (unofficial port) 0.5.0.3-1 41.6 kB375.0 kB [list of files]