[Agda] Re: ANNOUNCE: Agda 2.4.2.2
Andrés Sicard-Ramírez
asr at eafit.edu.co
Wed Nov 26 18:02:40 CET 2014
On 26 November 2014 at 10:07, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:
> Agda 2.4.2.2 has been released.
The right link for the changes since Agda 2.4.2.1 is
https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG
--
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141126/cd38f277/attachment.html
More information about the Agda
mailing list