libghc-numtype-dk-dev 0.5.0.3-2 (riscv64 binary) in ubuntu oracular
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-2
- Status:
- Superseded
- Component:
- universe
- Priority:
- Extra
Downloadable files
riscv64 build of haskell-numtype-dk 0.5.0.3-2 in ubuntu noble PROPOSED produced
these files:
- libghc-numtype-dk-dev_0.5.0.3-2_riscv64.deb (36.3 KiB)
Package relationships
- Depends on:
- libc6 (>= 2.27)
- libghc-base-dev-4.17.2.0-9c962
- libgmp10 (>= 2:6.3.0+dfsg)
- Provides:
- libghc-numtype-dk-dev-0.5.0.3-bf3f5