gcross / type-level-natural-number

Simple, Haskell 2010-compatible type-level natural numbers for Haskell.

Geek Repo

Github PK Tool