/type-level-natural-number-operations

A library in Haskell providing operations on type-level natural numbers.

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

This repository is not active