/type-level-natural-number

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

Primary LanguageHaskellBSD 2-Clause "Simplified" LicenseBSD-2-Clause

This repository is not active