[Agda] Installation problem (Windows 7)

Nils Anders Danielsson nad at chalmers.se
Tue Jan 10 14:44:46 CET 2012


On 2012-01-10 08:11, Neil P Strickland wrote:
> [...] it would be nice if the installer could be fixed.

I've reported this issue on the bug tracker:

   http://code.google.com/p/agda/issues/detail?id=548

-- 
/NAD


More information about the Agda mailing list