[Agda] Binary library reference

Jonathan Prieto-Cubides prieto.jona at gmail.com
Fri Feb 2 22:25:38 CET 2018


Hi Sergei,

You can edit this page yourself. Just click on the top menu the
option "Edit" using the password *agda *and that's it.

BR,

Jonathan.

On Fri, Feb 2, 2018 at 9:43 PM, Sergei Meshveliani <mechvel at botik.ru> wrote:

> 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
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>



-- 
Cordialmente,
Jonathan S. Prieto C.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180202/80c59005/attachment.html>


More information about the Agda mailing list