[Agda] application announcement

[Sergei Meshveliani]

Announcement
------------

DoCon-A  a Provable Algebraic Domain Constructor
Version 0.04.1

is available, together with its source program and manual, 
on the Web at the following addresses:

  http://www.botik.ru/pub/local/Mechveliani/docon-A/    (Russian site),
  ftp.botik.ru/pub/local/Mechveliani/docon-A/           (same site).


It differs from  docon-A-0.04
only in that its installation refers to the official release of
Agda-2.5.2
(and thus the installation instruction is simpler).

------
Sergei