type-level-numbers /

Filename Size Date modified Message
17 B
346 B
1.5 KB
352 B
1.5 KB
380 B
46 B
2.3 KB

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.