Available at appserv.cs.chalmers.se/users/ulfn/ wiki/agda.php (2008)

by Agda wiki