numtype-dk ========== This package provides type level representations of the integers (`TypeInt`s) and basic operations (addition, subtraction, multiplication, division, exponentiation) on these. Requires GHC 7.8 or later. [![Build Status](https://travis-ci.org/bjornbm/numtype-dk.svg?branch=master)](https://travis-ci.org/bjornbm/numtype-dk) [![Hackage Version](https://img.shields.io/hackage/v/numtype-dk.svg)](http://hackage.haskell.org/package/numtype-dk) [![Stackage version](https://www.stackage.org/package/numtype-dk/badge/lts?label=Stackage)](https://www.stackage.org/package/numtype-dk) Contributing ------------ For project information (code, issues) see: http://github.com/bjornbm/numtype-dk