Re: Proposal: Add Peano numbers to base

...

...

...

...

...

Henning Thielemann 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

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 On 11/01/16 18:59, John Wiegley wrote: the *scope* of base could stand to shrink. Furthermore, I don't see much value in adding this to base. - -- Alexander alexander@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-----