[Agda] Release: Agda 2.4.0

[Dominique Devriese]

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
>