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