Proposal: Add Peano numbers to base

M Farkas-Dyck m.farkasdyck at gmail.com
Fri Jan 15 03:30:43 UTC 2016 

This seems a clear consensus, so henceforth i consider this proposal dead.

More information about the Libraries mailing list