@hackage Ordinals0.0.0.1

Ordinal arithmetic

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
kya@pdx.edu
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.0.0.2 Fri, 9 Jul 2010
- 0.0.0.1 Thu, 8 Jul 2010

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything