[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