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

[Jason Dagit]

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.

Is this tutorial still available somewhere?

Thanks,
Jason