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
Change logChangeLog
Dependenciesbase (<5)
LicenseBSD3
AuthorKi Yung Ahn
Maintainerkya@pdx.edu
CategoryMath
Home pagehttp://patch-tag.com/r/kyagrd/Ordinals/
UploadedFri Jul 9 02:28:43 UTC 2010 by KiYungAhn
DistributionsNixOS:0.0.0.2
Downloads440 total (34 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