[Agda] Release: Agda 2.4.0

[Ulf Norell]

Yes I noticed that after releasing it.

/ Ulf


On Thu, Jun 5, 2014 at 1:03 PM, Dominique Devriese <
dominique.devriese at cs.kuleuven.be> wrote:

> Ulf,
>
> Thanks! I just want to point out though, that the linked changelog
> still contains a point "TODO: Document quoteContext."?
>
> Regards,
> Dominique
>
>
>
>
> 2014-06-05 12:57 GMT+02:00 Ulf Norell <ulfn at chalmers.se>:
> > Agda 2.4.0 has finally been released!
> >
> > To install:
> >   cabal update
> >   cabal install Agda
> >
> > Check it out on Hackage
> >   https://hackage.haskell.org/package/Agda
> >
> > Find out what's new here
> >   https://hackage.haskell.org/package/Agda-2.4.0/changelog
> >
> > / Ulf
> >
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se
> > https://lists.chalmers.se/mailman/listinfo/agda
> >
> _______________________________________________
> 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/20140605/704dcd4a/attachment.html