Implementation of type level natural and signed integer numbers in haskell using type families.
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
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.