@hackage / type-unary

Type-level and typed unary natural numbers, inequality proofs, vectors

Latest0.3.2

About

Metadata

  • Last updated , by Bodigrim
  • License BSD-3-Clause

  • Maintained by: conal@conal.net

  • Lottery factor: 0

Links

Installation

Readme

Type-level and value-typed unary natural numbers, inequality proofs, and length-typed vectors. There are probably many of these packages. Perhaps consolidate.