[Agda] [ANNOUNCE] Agda 2.5.1

[John Leo]

Yes, thank you for the correction.  I had in fact installed the new 0.12
standard library a few days ago but hadn't actually tried type checking any
programs since then, and sure enough when I did it failed.

Changing "defaults" to
standard-library

and "libraries" to
/Users/leo/agda/agda-stdlib/standard-library.agda-lib

(since I still have it in the same directory location) now works for me.
Sorry if I confused anyone.

John

On Mon, Apr 25, 2016 at 5:40 AM, Nils Anders Danielsson <nad at cse.gu.se>
wrote:

> On 2016-04-24 14:02, John Leo wrote:
>
>> The file "defaults" has as contents the single line:
>> agda-stdlib
>>
>> The file "libraries" has as contents the single line:
>> /Users/leo/agda/agda-stdlib/agda-stdlib.agda-lib
>>
>
> I believe that "agda-stdlib" was renamed to "standard-library" before
> the release.
>
> --
> /NAD
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160425/782de07e/attachment.html