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

Daniel Schoepe daniel at schoepe.org
Sat Apr 14 11:27:28 CEST 2012

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:


-------------- 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

More information about the Agda mailing list