About

Metadata

  • Last updated , by FrancescoMazzoli
  • License BSD-3-Clause
  • Maintained by: 0slemi0@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

Peano numbers without extra fluff, mainly for type level computations in promoted form