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:
The documentation was generated using Haddock 2.11.0 and the source code was written under GHC 6.8.2.
Best,
Stephen E. A. Britton