[Agda] list equality decision procedure fails termination check with Agda 2.4.0.1?

[Andrés Sicard-Ramírez]

On 20 June 2014 09:07, Brent Yorgey <byorgey at seas.upenn.edu> wrote:

> I don't understand.  What does it mean for Agda 2.4.0.1 to be
> "unreleased" if it is on Hackage?
>

There are some minor tasks we need to do before announcing the official
release (we should have done these tasks before uploading Agda 2.4.0.1
to Hackage).

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140620/43d049cf/attachment.html