[Agda] DoCon-A link

[Ulf Norell]

It's a wiki. You can add it yourself.

/ Ulf

On Sat, Apr 25, 2015 at 11:47 AM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> Dear Agda page administrator,
>
> please, add the  DoCon-A  link to the list
>   "Libraries and other developments"
> on
>   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries
>
>
> ---------------------------------------------------------------
> DoCon-A   http://www.botik.ru/pub/local/Mechveliani/docon-A
>
> a library for list processing and a certain initial part of computer
> algebra, with providing all Agda proofs.
> ---------------------------------------------------------------
>
>
> Regards,
>
> ------
> Sergei
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150425/21af8ef7/attachment.html