LicenseRef-GPL licensed and maintained by Henning Thielemann

Module documentation for 0.1.1.2

This version can be pinned in stack with:non-negative-0.1.1.2@sha256:b5d92e9e7af5857dda45c9cfbff9a41e6029369b0f0db466087ed417d848f319,1801

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.