[Agda] Re: Issue 1225 in agda: cannot build Development Agda of July 5, 2014

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Jul 7 15:52:35 CEST 2014


On 7 July 2014 02:39, Sergei Meshveliani <mechvel at botik.ru> wrote:

> And for Alex, the report is on something very different, so that it is
> difficult to guess.
>

See https://code.google.com/p/agda/issues/detail?id=1225#c3 .

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


More information about the Agda mailing list