@hackage / numtype-dk

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

Latest0.5.0.3

About

Metadata

  • Last updated , by BjornBuckwalter
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: bjorn@buckwalter.se

  • Lottery factor: 0

Links

Installation

Readme

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.

Build Status Hackage Version Stackage version

Contributing

For project information (code, issues) see: http://github.com/bjornbm/numtype-dk