[Agda] ANNOUNCE: Agda 2.4.2.1

[Andrés Sicard-Ramírez]

On 15 November 2014 20:07, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:

> I didn't look in detail your example but in
> https://code.google.com/p/agda/issues/detail?id=1355 (comment #2) there
> is an example of solution for this kind of error (you need the development
> version of Agda for type-checking the modules used in this issue).
>

Oops, you don't need the development version of Agda. You can use Agda
2.4.2.1.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141115/998aefef/attachment.html