[Agda] Where did the Dependently Typed Programming in Agda tutorial move to?

[Daniel Schoepe]

On Sat, 14.04.2012 07:41, Jason Dagit wrote:
> Looking here: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Othertutorials
>
> The first link used to be a tutorial by Ulf Norell. I'm getting 404
> and my searches are not fairing much better.

It seems that www.cse.chalmers.se is down, so I suspect the tutorial
will be back up at that URL as soon as the Chalmers admins fix that.

>
> Is this tutorial still available somewhere?

Citeseerx seems to have a cached version:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2234

Cheers,
Daniel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 835 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120414/7c7a5bf7/attachment.bin