Skip to content
Sections
>> Trisquel >> Pakete >> aramo >> haskell >> libghc-type-level-numbers-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Quellcode: haskell-type-level-numbers  ]

Paket: libghc-type-level-numbers-dev (0.1.1.1-6build2)

library representing integers using Haskell type families

This library represents numbers in Haskell at the level of types. This is achieved by means of type families.

Numbers up to 2^18-1 can be represented.

In this version of the package, comparison of numbers, subtraction and multiplication of numbers is supported.

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-type-level-numbers-dev

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

libghc-type-level-numbers-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
ppc64el 134,2 kB1642 kB [Liste der Dateien]