[Agda] Building with GHC 7.4

Martin Escardo m.escardo at cs.bham.ac.uk
Tue Dec 27 21:21:53 CET 2011


On 27/12/11 20:16, Nils Anders Danielsson wrote:
> The only safe ways to install packages are: [...]"

They are so safe that they didn't work for me.

Happy new year.

Martin


More information about the Agda mailing list