Agda Chat Rooms

Search chat rooms within the Internet Relay Chat and get informed about their users and topics! – Chat rooms on IRC are usually called channels. Use this IRC search engine to search in channel names and topics of around 500 IRC networks! Find interesting chat rooms and chat with people that share your interests!

 Related queries:  code (304)   scripting (49)   coding (38)   programming (154)   programmers (16)  


Search for Agda chat rooms returned a total of 4 matching results.  Displaying 1-4...

#agda Libera.Chat

Chat Room - 43 users - 53 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

#agda freenode

Chat Room - 2 users - 53 minutes ago - No topic
category: Agda - network: freenode

##agda Libera.Chat

Chat Room - 4 users - 53 minutes ago - No topic
category: Agda - network: Libera.Chat

##agda freenode

Chat Room - 1 users - 53 minutes ago - No topic
category: Agda - network: freenode

deutsch
0.075 seconds

Terms of use   Contact