libghc-numtype-dk-dev binary package in Ubuntu Noble arm64
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://
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-12-19 19:59:39 UTC | Published | Ubuntu Noble arm64 | release | universe | haskell | Extra | 0.5.0.3-2 | ||
|
|||||||||
Deleted | Ubuntu Noble arm64 | proposed | universe | haskell | Extra | 0.5.0.3-2 | |||
|
|||||||||
2023-12-19 20:15:22 UTC | Superseded | Ubuntu Noble arm64 | release | universe | haskell | Extra | 0.5.0.3-1build2 | ||
|