[Agda] Agda visibility

Patrik Jansson patrikj at cs.chalmers.se
Wed Sep 6 15:15:13 CEST 2006

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?)


Agda Implementors Meetings
  1: Sweden   0410
  2: Japan    0504              (Osaka)
  3: Sweden   0508
  4: Japan    0605
  5: Sweden   060925-060929

More information about the Agda mailing list