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/
Upload dateThu Jul 8 20:45:52 UTC 2010
Uploaded byKiYungAhn
Downloads138 total (18 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees