alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: haskell-numtype-dk  ]

Paket: libghc-numtype-dk-dev (0.5.0.2-1 och andra)

Länkar för libghc-numtype-dk-dev

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-numtype-dk:

Ansvariga:

Externa resurser:

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

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libghc-numtype-dk-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 0.5.0.2-1+b2 32,2 kbyte321,0 kbyte [filförteckning]
arm64 0.5.0.2-1+b2 34,9 kbyte416,0 kbyte [filförteckning]
armhf 0.5.0.2-1+b2 33,9 kbyte330,0 kbyte [filförteckning]
i386 0.5.0.2-1+b2 31,3 kbyte292,0 kbyte [filförteckning]