[Agda] [ANNOUNCE] Agda 2.5.1

Nils Anders Danielsson nad at cse.gu.se
Mon Apr 25 14:40:43 CEST 2016


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


More information about the Agda mailing list