[Agda] Coming soon: Agda 2.2.8

[Nils Anders Danielsson]

Hi,

Agda 2.2.8 is planned to be released soon. We are almost done fixing the
bugs which we consider to be most important, but if you know of a
show-stopper which we haven't addressed, please let us know immediately.

Preliminary release notes are already available:

   http://code.haskell.org/Agda/doc/release-notes/2-2-8.txt

--
/NAD