The PeanoWitnesses package
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.
|Dependencies||base (==4.7.*) [details]|
|Uploaded||Sat Jun 28 04:38:28 UTC 2014 by kwf|
|Downloads||351 total (5 in the last 30 days)|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees