[Agda] Some documentation on agda

[Ulf Norell]

On Wed, Jun 18, 2008 at 7:48 PM, Anton Setzer <A.G.Setzer at swansea.ac.uk>
wrote:

> By the way,
>
> http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/<http://www.cs.swan.ac.uk/%7Ecsetzer/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<http://www.cs.swan.ac.uk/%7Ecsetzer/othersoftware/agda2/agda2installation.html>
>
> contains my instructions on installing Agda2 (as it was mid April 2008).


Thanks. I added the links to the tutorial section on the wiki.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080618/fc7c368b/attachment.html