@hackage PeanoWitnesses0.1.0.0

GADT type witnesses for Peano-style natural numbers.

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      kenny.foner@gmail.com

    • Links

    • Versions

    Witnesses for Peano naturals are unary natural numbers paired with a natural number type index. These terms act as witnesses of a particular natural; we can recover the type information by examining the terms.