Chat room #agda on IRC network freenode was registered at 2013-10-17 and assigned to category Agda Chat Rooms. Registration of this chat room was based on a large attendance.
Chat Room - 43 users -
41 minutes ago -
current topic: Comment your
Agda | https://github.com/
agda/
agda | https://wiki.portal.chalmers.se/
agda | https://lists.chalmers.se/mailman/listinfo/
agda | https://
agda.zulipchat.com | https://
agda.readthedocs.io | https://
agda.github.io/
agda-stdlib | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr | https://tinyurl.com/sywtltt | https://1lab.dev
category: Agda -
network: Libera.Chat