/type-level-numbers

Implementation of type level natural and signed integer numbers in haskell using type families.

Primary LanguageHaskellOtherNOASSERTION

Watchers