gcross/type-level-natural-number
Simple, Haskell 2010-compatible type-level natural numbers for Haskell.
HaskellBSD-2-Clause
Issues
- 1
Build failure with GHC 7.8.1
#1 opened by peti
Simple, Haskell 2010-compatible type-level natural numbers for Haskell.
HaskellBSD-2-Clause