@hackage / finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals

Latest0.2.1.0

About

Metadata

  • Last updated , by mniip
  • License BSD-3-Clause
  • Maintained by: mniip@mniip.com

  • Lottery factor: 1

Links

Installation

Readme

A type inhabited by finitely many values, indexed by type-level naturals.