NumTypes with TypeNats, Data Kinds, Closed Type Families...
Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Numeric/NumType
.gitignore
.travis.yml
LICENSE
README.md
Setup.lhs
changelog.md
numtype-dk.cabal
stack.yaml

README.md

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