libghc-numtype-dk-dev binary package in Ubuntu Oracular riscv64
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 | ||
---|---|---|---|---|---|---|---|---|---|
2024-05-22 02:39:08 UTC | Published | Ubuntu Oracular riscv64 | release | universe | haskell | Extra | 0.5.0.3-2build1 | ||
|
|||||||||
Deleted | Ubuntu Oracular riscv64 | proposed | universe | haskell | Extra | 0.5.0.3-2build1 | |||
|
|||||||||
2024-05-22 02:43:00 UTC | Superseded | Ubuntu Oracular riscv64 | release | universe | haskell | Extra | 0.5.0.3-2 | ||
|