[Agda] Agda and GHC 7.8

[Jan Stolarek]

Thanks Andrés.

> The latest version of Agda in Hackage works with GHC 7.8.3.
Not for me. :-(

> Please report the issues in https://code.google.com/p/agda/issues/list.
Sorry, but that requires a google account.

Janek