LicenseRef-GPL licensed and maintained by Henning Thielemann
This version can be pinned in stack with:non-negative-0.1.2@sha256:9ec5d7066ab063f76c22bbebc8b1d7f6c10a3750baf59c64cbfeb723b59acd08,1843

Module documentation for 0.1.2

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.