##agda freenode - Agda Chat

This is a small report about chat room ##agda, a so called IRC channel on network freenode. This report usually includes user statistics and chat topics of the last days and weeks, if the IRC channel was already registered and its administrators didn't set its channel modes to private or secret. You will also find an online chat button below that forwards you to irc2go.com.

 Related queries:  programmers (18)   java (50)   code (310)   coders (29)  


Chat room ##agda on IRC network freenode was registered at 2021-06-15 and assigned to category Agda Chat Rooms. Registration of this chat room was based on a large attendance.

##agda freenode - Graph about the amount of users during the last weeks

Online Chat

to, from topic
2024-03-28,
2022-03-29 
- none -


More Agda Chat Rooms

#agda Libera.Chat

Chat Room - 49 users - 116 minutes ago - current topic: Questions? Share your work as a self-contained gist and wait for an answer. | http://gist.github.com | http://agda.readthedocs.io | http://agda.github.io/agda-stdlib | http://wiki.portal.chalmers.se/agda | http://lists.chalmers.se/mailman/listinfo/agda | http://github.com/pigworker/CS410-18 | http://plfa.github.io | http://www.cs.nott.ac.uk/~psztxa/g53cfr/ | http://github.com/agda
category: Agda - network: Libera.Chat  -  irc2go: #agda

#agda freenode

Chat Room - 3 users - 116 minutes ago - No topic
category: Agda - network: freenode  -  irc2go: #agda

##agda Libera.Chat

Chat Room - 4 users - 116 minutes ago - No topic
category: Agda - network: Libera.Chat  -  irc2go: ##agda

deutsch
0.0639 seconds

Terms of use   Contact