The Ordinals package
Ordinal arithmetic implementation up to epsilon_0. Currently based on interated multiset representation, planning to add CNF based implenetation.
Properties
| Versions | 0.0.0.1, 0.0.0.2 |
|---|---|
| Dependencies | base (<5) |
| License | BSD3 |
| Author | Ki Yung Ahn |
| Maintainer | kya@pdx.edu |
| Category | Math |
| Home page | http://patch-tag.com/r/kyagrd/Ordinals/ |
| Upload date | Fri Jul 9 02:28:43 UTC 2010 |
| Uploaded by | KiYungAhn |
| Built on | ghc-6.12, ghc-7.0 |
Modules
- Math
- Ordinals
Downloads
- Ordinals-0.0.0.2.tar.gz (Cabal source package)
- package description (included in the package)