Proposal: Add Peano numbers to base

M Farkas-Dyck m.farkasdyck at
Mon Jan 11 17:29:51 UTC 2016

I have seen these redefined many times now. Examples:

I often see them used as DataKinds. Too, operations on them can be
lazy, which is sometimes useful.

I filed a ticket:

Discussion period: 2 weeks

More information about the Libraries mailing list