The Ordinals package

[Tags: bsd3, library]

Ordinal arithmetic implementation up to epsilon_0. Currently based on interated multiset representation, planning to add CNF based implenetation.


Properties

Versions0.0.0.1, 0.0.0.2
Dependenciesbase (<5)
LicenseBSD3
AuthorKi Yung Ahn
Maintainerkya@pdx.edu
CategoryMath
Home pagehttps://patch-tag.com/r/kyagrd/Ordinals/
UploadedThu Jul 8 20:45:52 UTC 2010 by KiYungAhn
Downloads274 total (17 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees