Popularity
4.4
Declining
Activity
0.0
Stable
8
3
1
Monthly Downloads: 9
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Type System
Type
type-level-numbers alternatives and similar packages
Based on the "type" category.
Alternatively, view type-level-numbers alternatives based on common mentions on social networks and blogs.
Do you think we are missing an alternative of type-level-numbers or a related project?
README
type-level-number 
This is type level numbers implemented using type families. Natural numbers use binary encoding. With default context stack numbers up to 218-1 could be represented. Signed integer numbers use balanced ternary encoding.