@hackage PeanoWitnesses0.1.0.0
GADT type witnesses for Peano-style natural numbers.
Categories
License
BSD-3-Clause
Maintainer
kenny.foner@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.0.0 Sat, 28 Jun 2014
Installation
Dependencies (1)
Dependents (3)
@hackage/ComonadSheet, @hackage/acme-everything, @hackage/IndexedList
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.