[Agda] Addition to the Community — Internet Relay Chat (IRC) channel
Liyang HU
gmane.comp.lang.agda at liyang.hu
Sat Mar 28 09:36:31 CET 2009
Greetings from IRC!
We have had an #agda channel on FreeNode for quite some time now, so I went
ahead and added the details to the Wiki:
http://wiki.portal.chalmers.se/agda/Main.Community
Hope to see more people there,
Thanks,
/Liyang
PS: anyone want to take over Debian packaging of Agda? I don't have a single
running Debian machine at the minute, and the situation looks like it would only
deteriorate.
More information about the Agda
mailing list