@hackage numtype-dk0.5.0.3
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.
Categories
License
BSD-3-Clause
Maintainer
bjorn@buckwalter.se
Links
Versions
Installation
Dependencies (1)
Dependents (4)
@hackage/dimensional, @hackage/dimensional-codata, @hackage/exact-pi, @hackage/science-constants-dimensional
numtype-dk
This package provides type level representations of the integers
(TypeInts) and basic operations (addition, subtraction, multiplication,
division, exponentiation) on these.
Requires GHC 7.8 or later.
Contributing
For project information (code, issues) see: http://github.com/bjornbm/numtype-dk