@hackage Peano0.0.3

simple Peano numbers

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      0slemi0@gmail.com

    • Links

    • Versions

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