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

Jason Dagit dagitj at gmail.com
Sat Apr 14 07:41:17 CEST 2012

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?


More information about the Agda mailing list