[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