[Agda] AIM 10

Peter Dybjer peterd at chalmers.se
Tue Sep 1 13:44:01 CEST 2009


A preliminary programme for AIM 10 is now available:

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMX



More information about the Agda mailing list