The latest version of numtype-dk is 0.5.0.3-0.
numtype-dk
Version 0.5.0.2 revision 1 uploaded by phadej.
Package meta
- Synopsis
- Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.
- Description
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. Requires GHC 7.8 or later.
- Author
- Bjorn Buckwalter
- Bug reports
- n/a
- Category
- Math
- Copyright
- Bjorn Buckwalter 2012-2015
- Homepage
- https://github.com/bjornbm/numtype-dk
- Maintainer
- bjorn@buckwalter.se
- Package URL
- n/a
- Stability
- provisional