[Agda] Binary library reference

[Sergei Meshveliani]

Dear Agda page owner,

can you, please, set the reference to my Binary library to

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries
?

Probably it fits the section
            "Libraries, i.e. code which is intended to be reused",
or may be,
            "Other developments".

I suggest this reference:

 -----------------------------------------------------------------------
 Binary, a certified library for operations with binary natural numbers,
         suggested as optimization-extension-replacement for the Bin
         part in Standard library,  
         by Sergei Meshveliani.

         http://www.botik.ru/pub/local/Mechveliani/binNat/
 -----------------------------------------------------------------------

(the current version there is Binary 3.0).

Regards,

------
Sergei