gcross / type-level-natural-number-operations

A library in Haskell providing operations on type-level natural numbers.

Geek Repo

Github PK Tool