Proposal: Add Peano numbers to base

Henning Thielemann lemming at
Mon Jan 11 17:45:10 UTC 2016

On Mon, 11 Jan 2016, M Farkas-Dyck wrote:

> I have seen these redefined many times now. Examples:

Type-level Peano number are also contained in:

and data-level Peano numbers in this playground module:

I'd prefer that 'base' shrinks rather than grows. If we find that people 
like one implementation most, you could bless it by adding it to the 
Haskell platform.

You might add a comparison of the packages to the Wiki page:

More information about the Libraries mailing list