/natural-number

Haskell library providing value-level natural numbers that result from reifying type-level natural numbers.

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

This repository is not active