Popularity
5.2
Growing
Activity
0.0
Stable
8
3
1

Monthly Downloads: 47
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?

Add another 'type' Package

README

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 218-1 could be represented. Signed integer numbers use balanced ternary encoding.