libghc-numtype-dk-dev 0.5.0.3-1build2 (amd64 binary) in ubuntu lunar
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://
Details
- Package version:
- 0.5.0.3-1build2
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of haskell-numtype-dk 0.5.0.3-1build2 in ubuntu lunar PROPOSED produced
these files:
Package relationships
- Depends on:
- libc6 (>= 2.2.5)
- libghc-base-dev-4.15.1.0-6a406
- libgmp10 (>= 2:6.2.1+dfsg1)
- Provides:
- libghc-numtype-dk-dev-0.5.0.3-03500