[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