Implementation of type level natural and signed integer numbers in haskell using type families.
Haskell
Latest commit e5c9fba Feb 4, 2014 @Shimuuar Add GHC 7.8.1 to CI
Permalink
Failed to load latest commit information.
TypeLevel
test
.hgignore
.hgtags
.travis.yml
ChangeLog
LICENSE
README.md
Setup.hs
type-level-numbers.cabal

README.md

type-level-number Build Status

This is type level numbers implemented using type families. Natural numbers use binary encoding. With default context stack numbers up to 2^18-1 could be represented. Signed integer numbers use balanced ternary encoding.