type-level-tf (hackage): Type level numerics for Haskell using type families. Based on type-level.
Keywords: bsd3|data|library