<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 11 January 2016 at 18:45, Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On Mon, 11 Jan 2016, M Farkas-Dyck wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I have seen these redefined many times now. Examples:<br>
<a href="https://hackage.haskell.org/package/numericpeano-0.2.0.0/docs/Numeric-Peano.html#t:Nat" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/numericpeano-0.2.0.0/docs/Numeric-Peano.html#t:Nat</a><br>
<a href="https://hackage.haskell.org/package/numeric-prelude-0.4.2/docs/Number-Peano.html#t:T" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/numeric-prelude-0.4.2/docs/Number-Peano.html#t:T</a><br>
<a href="https://hackage.haskell.org/package/type-fun-0.0.1/docs/TypeFun-Data-Peano.html#t:N" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/type-fun-0.0.1/docs/TypeFun-Data-Peano.html#t:N</a><br>
<a href="https://hackage.haskell.org/package/number-0.1.1.0/docs/Data-Number-Peano.html#t:Nat" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/number-0.1.1.0/docs/Data-Number-Peano.html#t:Nat</a><br>
<a href="https://hackage.haskell.org/package/Peano-0.0.4/docs/Data-Peano.html#t:Peano" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/Peano-0.0.4/docs/Data-Peano.html#t:Peano</a><br>
</blockquote>
<br></span>
Type-level Peano number are also contained in:<br>
  <a href="https://hackage.haskell.org/package/tfp-1.0.0.2/docs/Type-Data-Num-Unary.html" rel="noreferrer" target="_blank">https://hackage.haskell.org/package/tfp-1.0.0.2/docs/Type-Data-Num-Unary.html</a><br>
<br>
and data-level Peano numbers in this playground module:<br>
  <a href="http://code.haskell.org/~thielema/htam/src/Number/PeanoNumber.hs" rel="noreferrer" target="_blank">http://code.haskell.org/~thielema/htam/src/Number/PeanoNumber.hs</a><br>
<br>
<br>
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.<br>
<br></blockquote><div><br></div><div>Same here, -1 on adding a particular implementation into base.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
You might add a comparison of the packages to the Wiki page:<br>
  <a href="https://wiki.haskell.org/Peano_numbers" rel="noreferrer" target="_blank">https://wiki.haskell.org/Peano_numbers</a><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><b>Λ\ois</b></div><div><div><a href="http://twitter.com/aloiscochard" target="_blank">http://twitter.com/aloiscochard</a></div><div><a href="http://github.com/aloiscochard" target="_blank">http://github.com/aloiscochard</a></div></div></div></div>
</div></div>