<div dir="ltr">Hi Sergei,<div><br></div><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">You can edit this page yourself. </span>Just click on the top menu the</div><div>option "Edit" using the password <b class="">agda </b><span class="">and that's it.</span></div><div><br></div><div>BR,</div><div><br></div><div>Jonathan.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 2, 2018 at 9:43 PM, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Agda page owner,<br>
<br>
can you, please, set the reference to my Binary library to<br>
<br>
  <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.<wbr>se/agda/pmwiki.php?n=Main.<wbr>Libraries</a><br>
?<br>
<br>
Probably it fits the section<br>
            "Libraries, i.e. code which is intended to be reused",<br>
or may be,<br>
            "Other developments".<br>
<br>
I suggest this reference:<br>
<br>
 ------------------------------<wbr>------------------------------<wbr>-----------<br>
 Binary, a certified library for operations with binary natural numbers,<br>
         suggested as optimization-extension-<wbr>replacement for the Bin<br>
         part in Standard library,<br>
         by Sergei Meshveliani.<br>
<br>
         <a href="http://www.botik.ru/pub/local/Mechveliani/binNat/" rel="noreferrer" target="_blank">http://www.botik.ru/pub/local/<wbr>Mechveliani/binNat/</a><br>
 ------------------------------<wbr>------------------------------<wbr>-----------<br>
<br>
(the current version there is Binary 3.0).<br>
<br>
Regards,<br>
<br>
------<br>
Sergei<br>
<br>
<br>
______________________________<wbr>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Cordialmente, <br>Jonathan S. Prieto C.<br><br><br></div>
</div>