@hackage / type-natural

Type-level natural and proofs of their properties.

Latest1.3.0.2

About

Metadata

  • Last updated , by HiromiIshii
  • License BSD-3-Clause
  • Categories Mathematics
  • Maintained by: konn.jinro_at_gmail.com

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.10.1
  2. 9.8.4
  3. 9.6.5
  4. 9.4.8
  5. 9.2.8

Readme

Type-level natural numbers and proofs of their properties.