LicenseRef-GPL licensed and maintained by Henning Thielemann

Module documentation for 0.1.1

This version can be pinned in stack with:[email protected]:a1744213a6bfe2124dbe4f4d9faf9f3e3cd93789178c5f11975a5502dba26025,1797

Provides a class for non-negative numbers, a wrapper which can turn any ordered numeric type into a member of that class, and a lazy number type for non-negative numbers (a generalization of Peano numbers). This library is used by the event-list package.