This repository is not active
gcross/type-level-natural-number
Simple, Haskell 2010-compatible type-level natural numbers for Haskell.
HaskellBSD-2-Clause
Simple, Haskell 2010-compatible type-level natural numbers for Haskell.
HaskellBSD-2-Clause
This repository is not active