7 Sep
2014
7 Sep
'14
10:25 p.m.
Shalom Fellow Haskellers, I just uploaded my first documented Hackage release, the LargeCardinalHierarchy.hs package. I wrote this program four years ago during my junior year of university. It is a simple transfinite cardinal arithmetic library for all large cardinals listed on the following Wikipedia page: http://en.wikipedia.org/wiki/List_of_large_cardinal_properties The documentation was generated using Haddock 2.11.0 and the source code was written under GHC 6.8.2. http://hackage.haskell.org/package/LargeCardinalHierarchy-0.0.1/src/LargeCar... Best, Stephen E. A. Britton