mniip / finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals.
11Updated 6 months ago

Alternatives and similar repositories for finite-typelits:

Users that are interested in finite-typelits are comparing it to the libraries listed below