[Agda] Standard library for Agda-2.4.0

[Ulf Norell]

I forgot to mention this last week, but as usual there is a release
of the standard library to go with the Agda release. You can find
it on GitHub here: https://github.com/agda/agda-stdlib/releases.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140611/f5e23651/attachment.html