[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

Sergei Meshveliani mechvel at botik.ru
Fri May 22 17:19:41 CEST 2015


On Mon, 2015-05-18 at 22:56 -0500, Andrés Sicard-Ramírez wrote:
> Hi,
> 
> We would like to announce a release candidate for Agda 2.4.2.3:
> 
>   https://github.com/agda/agda/archive/2.4.2.2.20150518.tar.gz
> 
> This RC can be installed using the following instructions:
> 
>   $ tar xzf 2.4.2.2.20150518.tar.gz
>   $ cd Agda-2.4.2.2.20150518.tar.gz
>   $ cabal install
> 
> Important changes since Agda 2.4.2.2:
> 
>   https://github.com/agda/agda/blob/2.4.2.2.20150518/CHANGELOG
> 
> Please test as much as possible.


I have tested it on the docon-A application.
This does not reveal any errors.

------
Sergei 



More information about the Agda mailing list