Proposal: Add Peano numbers to base

[Alexander Berntsen]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

On 11/01/16 18:59, John Wiegley wrote:
>>>>>> Henning Thielemann <lemming at henning-thielemann.de>
>>>>>> writes:
>> 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.
> 
> +1
I don't necessarily want base to shrink as such, but I certainly think
the *scope* of base could stand to shrink. Furthermore, I don't see
much value in adding this to base.
- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCgAGBQJWlLn3AAoJENQqWdRUGk8BxPwQANRcPTJik63XBaTQvg6Pn59v
litf0OksO+ACtT9Sdw2LdU0AJYXpdcg8MdMp5YDW3S0UTTeyr3EFgoioFirU0XVb
icupB1RGvwkn+oD3d+vmdPncIi8/HzHbaxCph1OiOoB2//IGPVlo3q++GS9VXBkU
79ii3FsU4ofzRkMaalicKobOHV06JX3z0LahC1qc9jU9lLq14WaCIJg1wA/aCVBa
S7PgcJE+itirCPDIOpJ7LlPSIpwFzix5eJvXZmYUL+sSxO/wpYJ2bXTUD3xZUq3d
+q3cfg5+TMjm7yiPQmlkdLBjARZsLBpFMrxhZnrW2xUdAvvZZIaBFGIvE8TPWWHD
mGIYNee/SPK4W7p5B4MA3ie+y/+glma/RXEZms3uDCThPI0DTsIZHo6s6tT3W7sB
/ceHrgzMfsqflc8zIM1uyMY4Poy+N8wiwN8qnCkhF0s0TpORoBz9l+QBx+t72Lgm
3Gy6P9In4QeUrTrnYnJk/7bgwgY6s8fjBJ/OhURvavoyX8C60zNej9ChyYBybmQA
QdIbNVfjEYRk6ED4r62fhCaacNsn9EJIfVzxiGqvNPsOIJWZ2QX/vrXo+azLjnoB
ClqtDYQMdSiNAClsA0EKhxnf5/+3n6vsAwlzPegf6tczpOCSTHDUEW6W58AH9Sn4
c4fuhx3Q24wWkySIFnGZ
=xwFn
-----END PGP SIGNATURE-----