[Agda] Some documentation on agda

Anton Setzer A.G.Setzer at swansea.ac.uk
Wed Jun 18 19:48:33 CEST 2008


By the way,

http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/
links to my lectures on Agda.
I have just finished converting the material from 2007/08 to Agda2
(it's not very advanced material, but suitable for a first introduction
to Agda -
our students are not very strong).

http://www.cs.swan.ac.uk/~csetzer/othersoftware/agda2/agda2installation.html

contains my instructions on installing Agda2 (as it was mid April 2008).

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