[Agda] AIM 10

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

Previous message: [Agda] pattern matching syntax in records
Next message: [Agda] Re: AIM 10
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

A preliminary programme for AIM 10 is now available:

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

Previous message: [Agda] pattern matching syntax in records
Next message: [Agda] Re: AIM 10
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list