[Agda] Updated instructions on how to install Agda
Anton Setzer
A.G.Setzer at swansea.ac.uk
Tue Jun 9 21:41:26 CEST 2009
Dear all,
I have reinstalled Agda and updated the Installation of Agda from Source
for Non-Programmers
at the Agda wiki
(http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.InstallationOfAgdaFromSourceForNonprogrammers)
Please update the instructions if you discover anything which might be
helpful for future agda installers.
Anton
--
---------------------------------------
Anton Setzer
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
UK
Telephone:
(national) (01792) 513368
(international) +44 1792 513368
Fax:
(national) (01792) 295708
(international) +44 1792 295708
Visiting address:
Faraday Building,
Computer Science Dept.
2nd floor, room 211.
Email: a.g.setzer at swan.ac.uk
WWW:
http://www.cs.swan.ac.uk/~csetzer/
---------------------------------------
More information about the Agda
mailing list