Skip to content
Sections
>> Trisquel >> Pakketten >> aramo >> haskell >> libghc-numtype-dk-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Bron: haskell-numtype-dk  ]

Pakket: libghc-numtype-dk-dev (0.5.0.2-2build2)

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 aan libghc-numtype-dk-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests

libghc-numtype-dk-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
arm64 31,7 kB418 kB [overzicht]