[Agda] Installation problem (Windows 7)

Neil P Strickland n.p.strickland at sheffield.ac.uk
Tue Jan 10 08:11:19 CET 2012


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/png
Size: 24847 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120110/78ac150b/attachment-0001.png


More information about the Agda mailing list