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 pagehttp://patch-tag.com/r/kyagrd/Ordinals/
Upload dateFri Jul 9 02:28:43 UTC 2010
Uploaded byKiYungAhn
Downloads216 total (19 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees