@hackage LargeCardinalHierarchy0.0.0

A transfinite cardinal arithmetic library including all known large cardinals

Categories
- Mathematics
License
LicenseRef-OtherLicense
Maintainer
Stephen E. A. Britton
Links
- Documentation
- No source repository
- Security
Versions
- 0.0.1 Sun, 7 Sep 2014
- 0.0.0 Sun, 7 Sep 2014

Installation
In your cabal file:
Dependencies (1)
- base >=2 && <4
Dependents (1)
@hackage/acme-everything