The PeanoWitnesses package

[maintain]

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.

Properties

Versions0.1.0.0, 0.1.0.0
Dependenciesbase (==4.7.*) [details]
LicenseBSD3
AuthorKenneth Foner
Maintainerkenny.foner@gmail.com
CategoryData
UploadedSat Jun 28 04:37:55 UTC 2014 by kwf

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees