[Agda] DoCon-A link

[Sergei Meshveliani]

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