I'm at the IFL2006 symposium I've heard from some people that they want to know what is happening with Agda. Perhaps we should "advertise" our activities a bit more (on the Agda homepage? types list? elsewhere?) /Patrik Agda Implementors Meetings 1: Sweden 0410 2: Japan 0504 (Osaka) 3: Sweden 0508 4: Japan 0605 5: Sweden 060925-060929