LicenseRef-GPL licensed and maintained by Henning Thielemann
This version can be pinned in stack with:non-negative-0.1.1@sha256:a1744213a6bfe2124dbe4f4d9faf9f3e3cd93789178c5f11975a5502dba26025,1797

Module documentation for 0.1.1

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.