[Agda] Newbie questions after reading Dependently Typed Programming in Agda

Thorsten Altenkirch txa at Cs.Nott.AC.UK
Wed Oct 13 00:57:15 CEST 2010


On 12 Oct 2010, at 23:46, Thorsten Altenkirch wrote:

> I am using Agda in a 3rd year course in Nottingham
> http://www.cs.nott.ac.uk/~txa/g52ifr/
> but I am not sure that's what you are looking for.
> 

No wrong course, I meant

http://www.cs.nott.ac.uk/~txa/g53cfr/

Sorry.

Thorsten
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20101012/6f4a4f39/attachment.html


More information about the Agda mailing list